pub fn trait_ref_is_local_or_fundamental<I: Interner>(
    tcx: I,
    trait_ref: TraitRef<I>,
) -> bool