typesMatch

open fun typesMatch(pattern: Type, candidate: Type): Boolean