[−][src]Module rustc_typeck::check::wfcheck
🔬 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
AdtField |
[ Experimental ]
|
AdtVariant |
[ Experimental ]
|
CheckTypeWellFormedVisitor |
[ Experimental ]
|
CheckWfFcxBuilder |
[ Experimental ] Helper type of a temporary returned by .for_item(...). Necessary because we can't write the following bound: F: for<'b, 'tcx> where 'gcx: 'tcx FnOnce(FnCtxt<'b, 'gcx, 'tcx>). |
Functions
check_associated_item |
[ Experimental ]
|
check_existential_types |
[ Experimental ] Checks "defining uses" of existential types to ensure that they meet the restrictions laid for "higher-order pattern unification". This ensures that inference is tractable. In particular, definitions of existential types can only use other generics as arguments, and they cannot repeat an argument. Example: |
check_false_global_bounds |
[ Experimental ] Feature gates RFC 2056 - trivial bounds, checking for global bounds that aren't true. |
check_fn_or_method |
[ Experimental ]
|
check_impl |
[ Experimental ]
|
check_impl_item |
[ Experimental ]
|
check_item_fn |
[ Experimental ]
|
check_item_type |
[ Experimental ]
|
check_item_well_formed |
[ Experimental ] Checks that the field types (in a struct def'n) or argument types (in an enum def'n) are well-formed, meaning that they do not require any constraints not declared in the struct definition itself. For example, this definition would be illegal: |
check_method_receiver |
[ Experimental ]
|
check_trait |
[ Experimental ]
|
check_trait_item |
[ Experimental ]
|
check_type_defn |
[ Experimental ] In a type definition, we check that to ensure that the types of the fields are well-formed. |
check_variances_for_type_defn |
[ Experimental ]
|
check_where_clauses |
[ Experimental ] Checks where clauses and inline bounds that are declared on def_id. |
error_194 |
[ Experimental ]
|
error_392 |
[ Experimental ]
|
for_id |
[ Experimental ]
|
for_item |
[ Experimental ]
|
reject_shadowing_parameters |
[ Experimental ]
|
report_bivariance |
[ Experimental ]
|