[Resolver] `alias Type this` #136 is actually implemented somehow.