Trait ra_ap_hir_ty::TyExt [−][src]
pub trait TyExt {}Show methods
fn is_unit(&self) -> bool; fn is_never(&self) -> bool; fn is_unknown(&self) -> bool; fn is_ty_var(&self) -> bool; fn as_adt(&self) -> Option<(AdtId, &Substitution)>; fn as_builtin(&self) -> Option<BuiltinType>; fn as_tuple(&self) -> Option<&Substitution>; fn as_fn_def(&self, db: &dyn HirDatabase) -> Option<FunctionId>; fn as_reference(&self) -> Option<(&Ty, Lifetime, Mutability)>; fn as_reference_or_ptr(&self) -> Option<(&Ty, Rawness, Mutability)>; fn as_generic_def(&self, db: &dyn HirDatabase) -> Option<GenericDefId>; fn callable_def(&self, db: &dyn HirDatabase) -> Option<CallableDefId>; fn callable_sig(&self, db: &dyn HirDatabase) -> Option<CallableSig>; fn strip_references(&self) -> &Ty; fn dyn_trait(&self) -> Option<TraitId>; fn impl_trait_bounds(
&self,
db: &dyn HirDatabase
) -> Option<Vec<QuantifiedWhereClause>>; fn associated_type_parent_trait(
&self,
db: &dyn HirDatabase
) -> Option<TraitId>; fn equals_ctor(&self, other: &Ty) -> bool;
Required methods
fn is_unknown(&self) -> bool
fn as_builtin(&self) -> Option<BuiltinType>
fn as_tuple(&self) -> Option<&Substitution>
fn as_fn_def(&self, db: &dyn HirDatabase) -> Option<FunctionId>
fn as_reference(&self) -> Option<(&Ty, Lifetime, Mutability)>
fn as_reference_or_ptr(&self) -> Option<(&Ty, Rawness, Mutability)>
fn as_generic_def(&self, db: &dyn HirDatabase) -> Option<GenericDefId>
fn callable_def(&self, db: &dyn HirDatabase) -> Option<CallableDefId>
fn callable_sig(&self, db: &dyn HirDatabase) -> Option<CallableSig>
fn strip_references(&self) -> &Ty
fn impl_trait_bounds(
&self,
db: &dyn HirDatabase
) -> Option<Vec<QuantifiedWhereClause>>
fn associated_type_parent_trait(&self, db: &dyn HirDatabase) -> Option<TraitId>
fn equals_ctor(&self, other: &Ty) -> bool
fn equals_ctor(&self, other: &Ty) -> bool
FIXME: Get rid of this, it’s not a good abstraction