Typescript 编译器不执行相关 generics

Question

Consider the below example:

interface Type<T>{
    new (...args:any):T;
}

interface Holder<T>{
    data:T
}

class StringHolder implements Holder<string>{
    constructor(public data:string){};
}

class BooleanHolder implements Holder<boolean>{
    constructor(public data:boolean){};
}

class FakeBooleanHolder {
    data = true;
}

function accept<E extends Holder<T>,T>(clazz:Type<E>, data:T){
    console.log(clazz,data);
}

// expected: OK
accept(StringHolder,'text');
accept(BooleanHolder, false);

// expected: Compile Error
accept(StringHolder,true);
accept(BooleanHolder,'text')

// expected: Compile Error
// actual: OK 
// Why "E extends Holder<T>"  is not enforced by compiler ? 
// Here T is boolean, Hence, E should be Type<? extend Holder<boolean>>, why its not ?
accept(FakeBooleanHolder,true);

TS Playground Link

Question is same as commented in above code:

1. Why E extends Holder<T> is not enforced by compiler?
2. Is compiler unable to relate E with T ?
3. Does the structural similarity of FakeBooleanHolder overrides explicit type declaration E extends Holder<T> ?
4. Is there an issue with signature of accept() function? (@Aleksey 's answer has a different variant of Type )

Answer 1

Putting structural types concern aside, to restrict the data param to be of the same type as data in passed Holder<T> constructor:

function acceptHolderClassAndData<T, H extends new (...args: any[]) => Holder<T>>(clazz: H, data: T): void {
    console.log(clazz, data);
}

acceptHolderClassAndData(StringHolder, 'str') // OK
acceptHolderClassAndData(BooleanHolder, true) // OK

acceptHolderClassAndData(StringHolder, true) // Error
acceptHolderClassAndData(BooleanHolder, 123) // Error

Playground