dotty.tools.dotc.core.Types
A name filter selects or discards a member name of a type pre. To enable efficient caching, name filters have to satisfy the following invariant: If keep is a name filter, and pre has class C as a base class, then
pre
keep
C
keep(pre, name) implies keep(C.this, name)
A name filter selects or discards a member name of a type
pre
. To enable efficient caching, name filters have to satisfy the following invariant: Ifkeep
is a name filter, andpre
has classC
as a base class, thenkeep(pre, name) implies keep(C.this, name)