pub fn check_expectations(tcx: TyCtxt<'_>)