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