pub fn impl_trait_ref<'tcx>(_: TyCtxt<'tcx>, impl_id: &Key<'tcx>) -> bool