Expand description
Trait solving using next trait solver.
Structs§
- Param
EnvAnd Crate - Type for
hir, because commonly we want both param env and a crate in an exported API. - Stored
Param EnvAnd Crate
Enums§
Functions§
- check_
orphan_ rules - Checks whether the impl satisfies the orphan rules.
- implements_
trait_ unique - This should not be used in
hir-ty, only inhir. - implements_
trait_ unique_ with_ args - This should not be used in
hir-ty, only inhir. - implements_
trait_ unique_ with_ infcx - is_
inherent_ impl_ coherent - structurally_
normalize_ ty - This should be used in
hironly. - where_
predicate_ must_ hold - This should not be used in
hir-ty, only inhir. This is exposed to allow the IDE to evaluate arbitrary predicates.