fn check_trait(tcx: TyCtxt<'_>, item: &Item<'_>) -> Result<(), ErrorGuaranteed>