1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
|
=== tests/cases/conformance/types/intersection/recursiveIntersectionTypes.ts ===
type LinkedList<T> = T & { next: LinkedList<T> };
>LinkedList : LinkedList<T>
>next : LinkedList<T>
interface Entity {
name: string;
>name : string
}
interface Product extends Entity {
price: number;
>price : number
}
var entityList: LinkedList<Entity>;
>entityList : LinkedList<Entity>
var s = entityList.name;
>s : string
>entityList.name : string
>entityList : LinkedList<Entity>
>name : string
var s = entityList.next.name;
>s : string
>entityList.next.name : string
>entityList.next : LinkedList<Entity>
>entityList : LinkedList<Entity>
>next : LinkedList<Entity>
>name : string
var s = entityList.next.next.name;
>s : string
>entityList.next.next.name : string
>entityList.next.next : LinkedList<Entity>
>entityList.next : LinkedList<Entity>
>entityList : LinkedList<Entity>
>next : LinkedList<Entity>
>next : LinkedList<Entity>
>name : string
var s = entityList.next.next.next.name;
>s : string
>entityList.next.next.next.name : string
>entityList.next.next.next : LinkedList<Entity>
>entityList.next.next : LinkedList<Entity>
>entityList.next : LinkedList<Entity>
>entityList : LinkedList<Entity>
>next : LinkedList<Entity>
>next : LinkedList<Entity>
>next : LinkedList<Entity>
>name : string
var productList: LinkedList<Product>;
>productList : LinkedList<Product>
entityList = productList;
>entityList = productList : LinkedList<Product>
>entityList : LinkedList<Entity>
>productList : LinkedList<Product>
productList = entityList; // Error
>productList = entityList : LinkedList<Entity>
>productList : LinkedList<Product>
>entityList : LinkedList<Entity>
|