Hiding elements from the implicit context

[tothambrus11]

The implicit context of a scope can contain implicit values (and trait conformances, which are also regular values). We can add something to the implicit context by declaring a given or a scoped conformance.

It may be also useful to hide something from the implicit context rather than overriding it. E.g. in the current scope I may want to disallow deinitialization of a particular type.

This may or may not be useful in practice but seems like an obvious generalization. Do you foresee any implications of this feature?

[kyouko-taiga]

This feature has been considered in the theoretical model but its interest has yet to be demonstrated in a concrete setup.