Makes sure the types given can be extended.
Checks if Child extends Parent in any of the supported ways.
See Source File