Repository navigation
Generics with 'extends' for return types cause type check failure. #13993
Description
TypeScript Version: 2.2.0
Code
interface I { attr: string }
type M = <T extends I>() => T
const v: M = () => ({})
v().attrExpected behavior:
Type '() => {}' is not assignable to type 'M'. Type '{}' is not assignable to type 'I'.
Actual behavior:
The compilation is successful.
Activity
zpdDG4gta8XKpMCd commentedon Feb 10, 2017
Ryan Cavanaugh (@RyanCavanaugh) is there any chance to fix assignability checks for generic and do it properly? not sure which issue tracks it (there are way to many)
ahejlsberg commentedon Aug 15, 2017
Fixed by #16368.