Function does_instantiationT_fit_extends_condition

`f ` can restrict T on declaration, for example `f ` on instantiation `f ()`, we have to detect whether `A` satisfies this "extends" restriction (implements SomeInterface here) this function does this check, filling out_err or leaving it empty for `f ` this function is called for every of OR conditions