@NotNull public TranslationContext innerContextWithThisAliased( @NotNull DeclarationDescriptor correspondingDescriptor, @NotNull JsName alias) { return new TranslationContext( staticContext, dynamicContext, aliasingContext.withThisAliased(correspondingDescriptor, alias)); }