For Dotty definitions are part of context and I would say that in case discarding is required, the better approach would be to discard context itself.