Implicit `this` Type in Generic Interface

type GiveMeName<T> = T extends A<infer Name> ? `${Name} goes brrr` : never

export interface A<Name extends string> {
  name: Name
  
  goBrrr(who: GiveMeName<this>): string
}

declare const a: A<'Aleks'>
a.goBrrr(`Aleks goes brrr`) // Is fine
a.goBrrr(`SpanchBob goes brrr`) // Is not

type GiveMeName<T> = T extends A<infer Name> ? `${Name} goes brrr` : never

export interface A<Name extends string> {
  name: Name
  
  goBrrr(who: GiveMeName<this>): string
}

declare const a: A<'Aleks'>
a.goBrrr(`Aleks goes brrr`) // Is fine
a.goBrrr(`SpanchBob goes brrr`) // Is not