[−][src]Module rustc_ty::ty

Functions

adt_sized_constraint

Calculates the Sized constraint.

associated_item
associated_item_def_ids
associated_item_from_impl_item_ref
associated_item_from_trait_item_ref
associated_items
associated_type_projection_predicates

For associated types we allow bounds written on the associated type (type X: Trait) to be used as candidates. We also allow the same bounds when desugared as bounds on the trait where Self::X: Trait.

asyncness

Check if a function is async.

crate_disambiguator
crate_hash
def_span
impl_defaultness
instance_def_size_estimate
issue33140_self_ty

If def_id is an issue 33140 hack impl, returns its self type; otherwise, returns None.

opaque_type_projection_predicates

Opaque types don't have the same issues as associated types: the only predicates on an opaque type (excluding those it inherits from its parent item) should be of the form we're expecting.

original_crate_name
param_env

See ParamEnv struct definition for details.

param_env_reveal_all_normalized
projection_predicates
provide
sized_constraint_for_ty
trait_of_item

If the given DefId describes an item belonging to a trait, returns the DefId of the trait that the trait item belongs to; otherwise, returns None.