Module rustc_typeck::constrained_type_params[][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?

Structs

Parameter [
Experimental
]
ParameterCollector [
Experimental
]

Functions

identify_constrained_type_params [
Experimental
]
parameters_for [
Experimental
]

If include_projections is false, returns the list of parameters that are constrained by t - i.e. the value of each parameter in the list is uniquely determined by t (see RFC 447). If it is true, return the list of parameters whose values are needed in order to constrain ty - these differ, with the latter being a superset, in the presence of projections.

parameters_for_impl [
Experimental
]

Return the set of parameters constrained by the impl header.

setup_constraining_predicates [
Experimental
]

Order the predicates in predicates such that each parameter is constrained before it is used, if that is possible, and add the parameters so constrained to input_parameters. For example, imagine the following impl: