Struct Types 

pub struct Types { /* private fields */ }

The types of a checked file’s expressions. An expression is known by its node in the file’s tree — which, once checked, isn’t changed — so two that share a place (a macro’s output, all at its call) stay apart.

Implementations

impl Types

pub fn quoted(&self, e: &Expr) -> Option<&Quoted>

The type e’s value is recast to, going where it’s wanted by variance (IEnumerable<string> as an IEnumerable<object>). Lambda e as an expression tree, when it’s given as one.

pub fn recast(&self, e: &Expr) -> Option<&Type>

pub fn item(&self, iter: &Expr) -> Option<&Type>

The method call e chose, when it’s an own one. What foreach over iter gives each time.

pub fn binding(&self, n: &Name) -> Option<&Type>

The type of name n a pattern binds.

pub fn constructor(&self, e: &Expr) -> Option<usize>

Which of its type’s constructors new expression e chose.

pub fn constructor_rest(&self, e: &Expr) -> Option<&(usize, Type)>

Where new expression e’s params arguments start, and their item type, when it packs them.

pub fn method(&self, e: &Expr) -> Option<&MethodUse>

pub fn message(&self, e: &Expr) -> Option<&Message>

Call e across sides, when it’s one.

pub fn is_local(&self, e: &Expr) -> bool

Whether name e is a local’s or a parameter’s (not a member’s).

pub fn moved_away(&self, e: &Expr) -> &[String]

The locals lambda e takes with it to another thread: moved away from the code around it.

pub fn bounded(&self, e: &Expr) -> Option<&Type>

The bound value e (of a type parameter) is reached through.

pub fn template(&self, e: &Expr) -> Option<&MessageTemplate>

String e written for a message template, if it’s one.

pub fn of(&self, e: &Expr) -> Option<&Type>

e’s type, if it was checked.

pub fn operator(&self, e: &Expr) -> Option<&OperatorUse>

The declared operator e is, if it’s one.

pub fn conversion(&self, e: &Expr) -> Option<&OperatorUse>

The implicit conversion e’s value goes through, if any.

pub fn assigned(&self, place: &Expr) -> Option<&OperatorUse>

The declared operator place op= … applies, if it’s one.

Trait Implementations

impl Debug for Types

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Types

fn default() -> Self

Returns the “default value” for a type.