Trait ToDef 

pub trait ToDef: AstNode + Clone {
    type Def;

    // Required method
    fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>;
}

Required Associated Types

type Def

Required Methods

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl ToDef for Adt

type Def = Adt

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for AsmOperandNamed

type Def = InlineAsmOperand

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Const

type Def = Const

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for ConstParam

type Def = ConstParam

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Enum

type Def = Enum

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for ExternBlock

type Def = ExternBlock

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for ExternCrate

type Def = ExternCrateDecl

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Fn

type Def = Function

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for GenericParam

type Def = GenericParam

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for IdentPat

type Def = Local

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Impl

type Def = Impl

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Label

type Def = Label

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for LifetimeParam

type Def = LifetimeParam

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Macro

type Def = Macro

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for MacroCall

type Def = MacroCallId

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Module

type Def = Module

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for RecordField

type Def = Field

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for SelfParam

type Def = Local

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for SourceFile

type Def = Module

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Static

type Def = Static

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Struct

type Def = Struct

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Trait

type Def = Trait

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for TupleField

type Def = Field

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for TypeAlias

type Def = TypeAlias

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for TypeParam

type Def = TypeParam

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Union

type Def = Union

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

impl ToDef for Variant

type Def = EnumVariant

fn to_def(sema: &SemanticsImpl<'_>, src: InFile<&Self>) -> Option<Self::Def>

Implementors