Trait ToDef

Source

pub trait ToDef<'db>: AstNode + Clone {
    type Def;

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

Required Associated Types§

Source

type Def

Required Methods§

Source

fn to_def(sema: &SemanticsImpl<'db>, 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§

Source §

Trait ToDef Copy item path

Required Associated Types§

type Def

Required Methods§

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

Dyn Compatibility§

Implementations on Foreign Types§

impl<'db> ToDef<'db> for Adt

type Def = Adt

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

impl<'db> ToDef<'db> for AsmOperandNamed

type Def = InlineAsmOperand

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

impl<'db> ToDef<'db> for Const

type Def = Const

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

impl<'db> ToDef<'db> for ConstParam

type Def = ConstParam

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

impl<'db> ToDef<'db> for Enum

type Def = Enum

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

impl<'db> ToDef<'db> for ExternBlock

type Def = ExternBlock

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

impl<'db> ToDef<'db> for ExternCrate

type Def = ExternCrateDecl

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

impl<'db> ToDef<'db> for Fn

type Def = Function

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

impl<'db> ToDef<'db> for GenericParam

type Def = GenericParam

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

impl<'db> ToDef<'db> for IdentPat

type Def = Local<'db>

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

impl<'db> ToDef<'db> for Impl

type Def = Impl

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

impl<'db> ToDef<'db> for Label

type Def = Label

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

impl<'db> ToDef<'db> for LifetimeParam

type Def = LifetimeParam

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

impl<'db> ToDef<'db> for Macro

type Def = Macro

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

impl<'db> ToDef<'db> for MacroCall

type Def = MacroCallId

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

impl<'db> ToDef<'db> for Module

type Def = Module

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

impl<'db> ToDef<'db> for RecordField

type Def = Field

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

impl<'db> ToDef<'db> for SelfParam

type Def = Local<'db>

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

impl<'db> ToDef<'db> for SourceFile

type Def = Module

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

impl<'db> ToDef<'db> for Static

type Def = Static

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

impl<'db> ToDef<'db> for Struct

type Def = Struct

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

impl<'db> ToDef<'db> for Trait

type Def = Trait

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

impl<'db> ToDef<'db> for TupleField

type Def = Field

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

impl<'db> ToDef<'db> for TypeAlias

type Def = TypeAlias

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

impl<'db> ToDef<'db> for TypeParam

Trait ToDef