Skip to main content
Module solver
hir_ty
0.0.0
Module solver
Module Items
Structs
Type Aliases
In hir_
ty::
next_
solver
hir_ty
::
next_solver
Module
solver
Copy item path
Source
Expand description
Defining
SolverContext
for next-trait-solver.
Structs
§
Solver
Context
🔒
Type Aliases
§
Goal