Struct MagicFunction 

pub struct MagicFunction { /* private fields */ }

MagicFunction is an abstract base class in C++. In Rust, we model this as a struct containing function pointers (vtable) to allow custom typechecking logic for builtins.

Implementations

impl MagicFunction

pub fn type_check(&self, _context: &MagicFunctionTypeCheckContext) -> bool

impl MagicFunction

pub fn from_handlers( handle_old_solver: fn(&mut TypeChecker, &Arc<Scope>, &AstExprCall, WithPredicate<TypePackId>) -> Option<WithPredicate<TypePackId>>, infer: fn(&MagicFunctionCallContext) -> bool, refine: fn(&MagicRefinementContext), type_check: fn(&MagicFunctionTypeCheckContext) -> bool, ) -> Self

Build a MagicFunction vtable from its four handler function pointers. This is the public analog of constructing a MagicFunction subclass (e.g. the test-only MagicInstanceIsA) outside this crate, where the fields are not directly accessible.

Trait Implementations

impl Clone for MagicFunction

fn clone(&self) -> MagicFunction

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MagicFunction

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

Formats the value using the given formatter.

impl Drop for MagicFunction

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Send for MagicFunction

impl Sync for MagicFunction