spade_typeinference::method_resolution

Function specs_are_overlapping

Source 
fn specs_are_overlapping(
    specs: &[Loc<TypeSpec>],
    vars: &[TypeVarID],
    type_state: &TypeState,
) -> Overlap