Module rustc::ty::wf
[−]
[src]
rustc_private
)Enums
ImpliedBound |
[ Experimental ] Implied bounds are region relationships that we deduce automatically. The idea is that (e.g.) a caller must check that a function's argument types are well-formed immediately before calling that fn, and hence the callee can assume that its argument types are well-formed. This may imply certain relationships between generic parameters. For example: |
Functions
implied_bounds |
[ Experimental ] Compute the implied bounds that a callee/impl can assume based on
the fact that caller/projector has ensured that |
object_region_bounds |
[ Experimental ] Given an object type like |
obligations |
[ Experimental ] Returns the set of obligations needed to make |
predicate_obligations |
[ Experimental ]
|
trait_obligations |
[ Experimental ] Returns the obligations that make this trait reference
well-formed. For example, if there is a trait |