Module rustc::traits::query::type_op [−][src]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Modules
custom |
[ Experimental ]
|
eq |
[ Experimental ]
|
normalize |
[ Experimental ]
|
outlives |
[ Experimental ]
|
prove_predicate |
[ Experimental ]
|
subtype |
[ Experimental ]
|
Traits
QueryTypeOp |
[ Experimental ] "Query type ops" are type ops that are implemented using a
canonical query. The |
TypeOp |
[ Experimental ] "Type ops" are used in NLL to perform some particular action and extract out the resulting region constraints (or an error if it cannot be completed). |