Searched refs:pigify (Results 1 – 4 of 4) sorted by relevance
| /third_party/typescript/tests/baselines/reference/ |
| D | unionAndIntersectionInference1.js | 69 declare function pigify<T>(y: T & Bear): T & Pig;
72 pigify(mbp).oinks; // OK, mbp is treated as Pig
73 pigify(mbp).walks; // Ok, mbp is treated as Man
136 pigify(mbp).oinks; // OK, mbp is treated as Pig
137 pigify(mbp).walks; // Ok, mbp is treated as Man
|
| D | unionAndIntersectionInference1.types | 161 declare function pigify<T>(y: T & Bear): T & Pig;
162 >pigify : <T>(y: T & Bear) => T & Pig
168 pigify(mbp).oinks; // OK, mbp is treated as Pig
169 >pigify(mbp).oinks : boolean
170 >pigify(mbp) : Man & Pig
171 >pigify : <T>(y: T & Bear) => T & Pig
175 pigify(mbp).walks; // Ok, mbp is treated as Man
176 >pigify(mbp).walks : boolean
177 >pigify(mbp) : Man & Pig
178 >pigify : <T>(y: T & Bear) => T & Pig
|
| D | unionAndIntersectionInference1.symbols | 178 declare function pigify<T>(y: T & Bear): T & Pig;
179 >pigify : Symbol(pigify, Decl(unionAndIntersectionInference1.ts, 65, 1))
192 pigify(mbp).oinks; // OK, mbp is treated as Pig
193 >pigify(mbp).oinks : Symbol(Pig.oinks, Decl(unionAndIntersectionInference1.ts, 63, 15))
194 >pigify : Symbol(pigify, Decl(unionAndIntersectionInference1.ts, 65, 1))
198 pigify(mbp).walks; // Ok, mbp is treated as Man
199 >pigify(mbp).walks : Symbol(Man.walks, Decl(unionAndIntersectionInference1.ts, 55, 15))
200 >pigify : Symbol(pigify, Decl(unionAndIntersectionInference1.ts, 65, 1))
|
| /third_party/typescript/tests/cases/conformance/types/typeRelationships/typeInference/ |
| D | unionAndIntersectionInference1.ts | 70 declare function pigify<T>(y: T & Bear): T & Pig; function
73 pigify(mbp).oinks; // OK, mbp is treated as Pig
74 pigify(mbp).walks; // Ok, mbp is treated as Man
|