Trait BuiltinSignatureExt 

pub trait BuiltinSignatureExt {
    // Required methods
    fn param_type_exprs(&self) -> Vec<TypeExpr>;
    fn return_type_expr(&self) -> TypeExpr;
}

Required Methods

fn param_type_exprs(&self) -> Vec<TypeExpr>

Materialize per-parameter types as owned TypeExprs for the type checker’s call-site validation.

fn return_type_expr(&self) -> TypeExpr

Owned TypeExpr return type.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl BuiltinSignatureExt for BuiltinSignature