Trait HasType 

pub trait HasType {
    // Required method
    fn inferred_type<'db>(
        &self,
        model: &SemanticModel<'db>,
    ) -> Option<Type<'db>>;
}

Required Methods

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

Returns the inferred type of self.

Panics

May panic if self is from another file than model.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl HasType for Alias

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExceptHandlerExceptHandler

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for Expr

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprAttribute

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprAwait

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprBinOp

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprBoolOp

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprBooleanLiteral

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprBytesLiteral

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprCall

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprCompare

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprDict

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprDictComp

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprEllipsisLiteral

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprFString

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprGenerator

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprIf

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprIpyEscapeCommand

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprLambda

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprList

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprListComp

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprName

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprNamed

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprNoneLiteral

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprNumberLiteral

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprRef<'_>

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprSet

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprSetComp

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprSlice

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprStarred

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprStringLiteral

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprSubscript

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprTString

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprTuple

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprUnaryOp

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprYield

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ExprYieldFrom

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for Parameter

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for ParameterWithDefault

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for StmtClassDef

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for StmtFunctionDef

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for StmtTypeAlias

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for TypeParamParamSpec

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for TypeParamTypeVar

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

impl HasType for TypeParamTypeVarTuple

fn inferred_type<'db>(&self, model: &SemanticModel<'db>) -> Option<Type<'db>>

Implementors