usage: wrong scoping for substitution type

[ajafff]

See ajafff/tslint-consistent-codestyle#85

type Values<T> = T extends {[K in keyof T]: infer U} ? U : never;

Expected:
U in the then branch of the conditional type references infer U inside the mapped type.

Actual:
infer U has no uses.