Struct debris_llir::objects::obj_never::ObjNever

pub struct ObjNever;

Signals that a block will never return. The most interesting property of this type is its ability to match any other type. This does not circumvent the entire type system, because any code that depends on a value with the Never type must not be evaluated (in llir).

Trait Implementations

impl Clone for ObjNever

fn clone(&self) -> ObjNever

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ObjNever

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

Formats the value using the given formatter.

impl Display for ObjNever

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

Formats the value using the given formatter.

impl HasClass for ObjNever

fn create_properties(ctx: &TypeContext) -> ObjectProperties

Returns all properties that belong to this class

fn static_class(ctx: &TypeContext) -> ClassRef

Returns the static class that belongs to this Object

impl ObjectPayload for ObjNever

fn memory_layout(&self) -> &MemoryLayout

Returns the memory layout of this specific object This method is usually only called once

fn create_class(&self, ctx: &TypeContext) -> ClassRef

The class specific to this object. Contains additionally to the class generics and the memory layout

fn runtime_class(&self, _ctx: &TypeContext) -> Option<ClassRef>

Returns the class which the runtime encodable variant of this object would have. Used to determine the class passed into the promote method of objects.

fn get_property(&self, _ctx: &TypeContext, _ident: &Ident) -> Option<ObjectRef>

May be overwritten by distinct payloads which carry properties

fn json_fmt(&self, buf: &mut Vec<JsonFormatComponent>)

Converts this object into json components so it can be rendered in minecraft chat

impl PartialEq for ObjNever

fn eq(&self, other: &ObjNever) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ObjNever

impl Eq for ObjNever

impl StructuralEq for ObjNever

impl StructuralPartialEq for ObjNever