feat(di): check types in registry

[belozer]

resolve #386

Example:

interface MyReg {
    A: React.ComponentType<{ a: string }>,
    C: React.ComponentType<{ c: string }>
}

const id = 'RegistryId'

const A: React.FC<{ a: string }> = () => null
const B: React.FC<{ b: string }> = () => null
const C: React.FC<{ c: string }> = () => null
const AB: React.FC<{ a: string, b: string }> = () => null

Case 0: Pre check (missing props)

const registry = new Registry<MyReg>({ id }, { 
  A,
  // TS Error: Property 'C' is missing
});

const expRegistry = new Registry<Partial<MyReg>>({ id }, { 
  A
}); // Ok

Case 1: Pre check

const registry = new Registry<MyReg>({ id }, {
  A, 
  B, // TS Error: 'B' does not exist in type 'MyReg' 
  C
});

Case 2: Post check

const registry = new Registry<MyReg>({ id });

registry.set('A', A); // Ok
registry.set('A', B); // TS Error
registry.set('A', AB); // Ok

Case 3: Hints

[yarastqt]

А разве без кастинга тут не получится?

private components: RTC = {}

[belozer]

@yarastqt неа. TS на подтипы ругается.

Type '{}' is not assignable to type 'RTC'.
  '{}' is assignable to the constraint of type 'RTC', but 'RTC' could be instantiated with a different subtype of constraint 'IRegistryComponents'.

через приведение к типу всё ок.