File: bindingPatternContextualTypeDoesNotCauseWidening.js

package info (click to toggle)
node-typescript 5.0.4%2Bds1-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 459,116 kB
  • sloc: javascript: 1,972,754; makefile: 6; sh: 1
file content (9 lines) | stat: -rw-r--r-- 464 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
//// [bindingPatternContextualTypeDoesNotCauseWidening.ts]
declare function pick<O, T extends keyof O>(keys: T[], obj?: O): Pick<O, T>;
const _    = pick(['b'], { a: 'a', b: 'b' }); // T: "b"
const {  } = pick(['b'], { a: 'a', b: 'b' }); // T: "b" | "a" ??? (before fix)


//// [bindingPatternContextualTypeDoesNotCauseWidening.js]
var _ = pick(['b'], { a: 'a', b: 'b' }); // T: "b"
var _a = pick(['b'], { a: 'a', b: 'b' }); // T: "b" | "a" ??? (before fix)