Function match_types 

fn match_types(
    ctx: &CompletionContext<'_>,
    ty1: &Type<'_>,
    ty2: &Type<'_>,
) -> Option<CompletionRelevanceTypeMatch>