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