rustc_
trait_
selection
1.85.0
(4d91de4e4 2025-02-17)
In rustc_
trait_
selection::
traits::
fulfill
Structs
FulfillProcessor
FulfillmentContext
OldSolverError
PendingPredicateObligation
Functions
args_infer_vars
mk_pending
Type Aliases
PendingPredicateObligations
rustc_trait_selection
::
traits
::
fulfill
Function
mk_pending
Copy item path
Settings
Help
Summary
Source
fn mk_pending<'tcx>( os:
PredicateObligations
<'tcx>, ) ->
ThinVec
<
PendingPredicateObligation
<'tcx>>