Skip to main content

intersect_one_with_intersection

Function intersect_one_with_intersection 

Source
pub fn intersect_one_with_intersection(
    simplifier: &mut TypeSimplifier,
    source: &mut TypeIds,
    dest: &mut TypeIds,
    candidate: TypeId,
) -> Inhabited