fn evaluate_host_effect_from_item_bounds<'tcx>(
selcx: &mut SelectionContext<'_, 'tcx>,
obligation: &HostEffectObligation<'tcx>,
) -> Result<ThinVec<PredicateObligation<'tcx>>, EvaluationFailure>
Expand description
Assembles constness bounds “normal” item bounds on aliases, which may include
unconditionally const
bounds that are not conditional and thus always hold.