kythe.io@v0.0.68-0.20240422202219-7225dbc01741/kythe/typescript/testdata/type.ts (about) 1 export {} 2 3 // Declare the name 'typeAndValue' as both a type and a value, 4 // to ensure we keep the type/value namespaces separate. 5 6 //- @typeAndValue defines/binding Value 7 //- Value.node/kind variable 8 let typeAndValue: number; 9 10 //- @typeAndValue defines/binding Type 11 //- Type.node/kind talias 12 type typeAndValue = string; 13 // TODO: check that 'string' refers to the appropriate type as well. 14 15 //- @typeAndValue ref Value 16 //- !{@typeAndValue ref Type} 17 let x = typeAndValue; 18 //- @typeAndValue ref Type 19 //- !{@typeAndValue ref Value} 20 let y: typeAndValue;