interface Empty‹T› {
}
let x: Empty‹number›;
let y: Empty‹string›;

x = y;  // OK, because y matches structure of x