pub fn trait_ref_is_knowable<'tcx>( tcx: TyCtxt<'tcx>, trait_ref: TraitRef<'tcx>) -> Result<(), Conflict>