class D { f(a: D): D | undefined { return; } } export {}