// This contains a type assertion which matches.

let v: number;

// $ExpectType number
v