A trivial generic interface extending a generic type handles assignability differently than the base type

<!-- 🚨 STOP 🚨 STOP 🚨 STOP 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 4.0.5, 4.1.0-beta, 4.1.0-dev.20201102 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** generic interface assignability **Code** ```ts type Assert<T, U extends T> = U; type A = { value: 5, a: true }; type B = { value: 5, b: true }; interface Box<T> { value: T; } type _Rebox<T extends Box<any>> = Box<T["value"]>; namespace Test0 { type Rebox<T extends Box<any>> = _Rebox<T>; export type Assertions = [ Assert<Box<5>, Rebox<A>>, // Correctly passes Assert<Rebox<A>, Box<5>>, // Correctly passes Assert<Box<5>, Rebox<B>>, // Correctly passes Assert<Rebox<B>, Box<5>>, // Correctly passes Assert<Rebox<A>, Rebox<B>>, // Correctly passes ]; } namespace Test1 { interface Rebox<T extends Box<any>> extends _Rebox<T> {}; export type Assertions = [ Assert<Box<5>, Rebox<A>>, // Correctly passes Assert<Rebox<A>, Box<5>>, // Correctly passes Assert<Box<5>, Rebox<B>>, // Correctly passes Assert<Rebox<B>, Box<5>>, // Correctly passes Assert<Rebox<A>, Rebox<B>>, // Incorrectly fails ]; } ``` **Expected behavior:** `Test0.Assertions` and `Test1.Assertions` …