TypeScript

Method bivariance vs strict function types in TypeScript

TypeScriptType CompatibilityStrict Function Typesintermediate

What this snippet does

Class methods are checked bivariantly for practicality, meaning strict contravariance does not apply to them, unlike function properties.

Expected output

ok

Why practise typing this

Typing type compatibility code builds muscle memory for the symbols and indentation TypeScript uses most, which prose-based typing tests never cover. DevType measures your words per minute and accuracy on this snippet and tracks the individual characters you mistype, so later lessons can target them.

More TypeScript practice

Browse all TypeScript snippets →