Enum Unsupported 

#[non_exhaustive]
pub enum Unsupported {
    Coroutine,
    Class,
    Record,
    Reference,
    RefPlace,
    VarVar,
    Intrinsic,
    Asm,
    BigInt,
    ForeignUnit,
    TypeDirected,
    ExternValue,
    ExternArgs,
    Conversion,
    Cast,
    Pattern,
}

A HIR form this release does not compile, named precisely.

Every variant says what is missing and where it is planned, so a front end can report “not supported yet” instead of guessing. Forms that need a missing LSB feature (not a later bcgen-lang release) say so.

Examples

use bcgen_lang::Unsupported;

assert!(Unsupported::Coroutine.to_string().contains("0.5"));

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Coroutine

yield, await, spawn, or a function or closure declared ASYNC or YIELD (coroutines arrive in 0.5, with bvm-lang’s coroutine group).

Class

Classes, impls, interfaces with bodies, mixins, and receiver parameters (0.5).

Record

A record or struct literal or pattern naming a declared type, a sum variant, or a constructor pattern (typed data arrives with classes in 0.5; anonymous records compile, as maps).

Reference

*e, &e, a ref pattern, or binding by reference: the dynamic profile has no reference values.

RefPlace

A reference assignment or by-reference argument whose place is not a local variable (an array element, a property, a global alias). LSB has no reference to a map slot; only whole variables can be shared.

VarVar

$$name: LSB frames have no names at run time.

Intrinsic

An atomic, volatile, or fence intrinsic, or a named intrinsic this release does not know.

Asm

Inline assembly (native backends only).

BigInt

A big-integer literal (no big-integer runtime yet).

ForeignUnit

A definition of another compilation unit: LSB modules link to host functions only, so cross-unit calls wait for loader-lang.

TypeDirected

A path resolved only by type (Vec::new), or naming a primitive, type parameter, or const parameter as a value (typed paths, 0.5).

ExternValue

A host function used as a value rather than called: LSB imports have a fixed arity, which a first-class value does not know.

ExternArgs

Spread, named, or by-reference arguments to a host function, or a bodyless function with defaults: imports take exactly their parameters.

Conversion

A conversion at a width dynamic values do not have (zext/sext to fewer than 64 bits, 32-bit bit casts).

Cast

A cast to a type the dynamic profile cannot test or produce.

Pattern

A range pattern bound or type test this release cannot evaluate.

Implementations

impl Unsupported

pub const fn describe(self) -> &'static str

A short description of the form and where it is planned.

Examples

use bcgen_lang::Unsupported;

assert_eq!(Unsupported::Asm.describe(), "inline assembly (native backends only)");

Trait Implementations

impl Clone for Unsupported

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Unsupported

impl Debug for Unsupported

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

Formats the value using the given formatter.

impl Display for Unsupported

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

Formats the value using the given formatter.

impl Eq for Unsupported

impl Hash for Unsupported

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Unsupported

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Unsupported