pub(crate) const fn evaluate_obligation<'tcx>() -> QueryStruct<'tcx>