SEM0001 | Stable code for a present return-type name that is not a bootstrap built-in. | Unknown type <spelling> |
SEM0002 | Stable code for a present decimal literal outside the positive i32 range. | Integer literal exceeds the i32 range |
SEM0003 | Stable code for a present declaration name repeated after its first occurrence. | Duplicate declaration name <spelling> |
SEM0004 | Stable code for a present call name with no matching top-level declaration. | Unknown function <spelling> |
SEM0005 | Stable code for a present parameter name repeated after its first occurrence. | Duplicate parameter name <spelling> |
SEM0006 | Stable code for a present value name with no matching local declaration. | Unknown value <spelling> |
SEM0007 | Stable code for a uniquely resolved call with the wrong number of arguments. | Expected <expectedCount> <expectedCount1argumentarguments> but received <actualCount> |
SEM0008 | Stable code for a binding whose name repeats a parameter or an earlier binding. | Cannot rebind <spelling> |
SEM0009 | Stable code for a qualified call naming an unknown built-in actor. | Unknown actor <spelling> |
SEM0010 | Stable code for a known actor called with an unknown operation name. | <actor> has no operation <spelling> |
SEM0011 | Stable code for a conditional whose condition is not bool. | Condition must be bool, found <actual> |
SEM0012 | Stable code for a call argument whose type mismatches its parameter. | Expected <expected> but received <actual> |
SEM0014 | | Module <module> has no member <spelling> |
SEM0015 | | <module>.<spelling> is private |
SEM0016 | | Multiple bindings claim <spelling> |
SEM0017 | | Duplicate field name <spelling> |
SEM0018 | | Expected a type, found <spelling> |
SEM0019 | | Public declaration exposes private type <type> |
SEM0020 | | Inline recursive struct layout: <join> |
SEM0021 | | Cannot construct <type> because its raw constructor is not available at this site |
SEM0022 | | <type> has no field <field> |
SEM0023 | | Field <field> is initialized more than once |
SEM0024 | | Missing initializer for <type>.<field> |
SEM0025 | | Field <field> expects <expected> but received <actual> |
SEM0026 | | Cannot project a field from <actual> |
SEM0027 | | <type> has no field <field> |
SEM0028 | | <type>.<field> is private |
SEM0029 | | An empty array literal needs an expected Array type |
SEM0030 | | Array element <index> expects <expected> but received <actual> |
SEM0031 | | Array literal expects <expected> elements but received <actual> |
SEM0032 | | Cannot index <actual> |
SEM0033 | | Array index must be usize, found <actual> |
SEM0034 | | Array index <index> is outside length <length> |
SEM0035 | | Cannot assign through immutable binding <spelling> |
SEM0036 | | Assignment requires a writable binding, field, or indexed place |
SEM0037 | | Assignment expected <expected> but received <actual> |
SEM0038 | | <transfer> is only valid inside a loop |
SEM0039 | | Structural union members must be detached ordinary values with finite storage, found <type> |
SEM0040 | | <source> cannot widen to <target>; missing <join> |
SEM0041 | | Cannot match non-nominal type <actual> |
SEM0042 | | <member> is not a member of <scrutinee> |
SEM0043 | | Unreachable match arm <member> |
SEM0044 | | Match does not cover <join> |
SEM0045 | | Match guard must be bool, found <actual> |
SEM0046 | | Pattern for <type> is missing field <field>; add it or use .. |
SEM0047 | | Pattern field <field> appears more than once |
SEM0048 | | Pattern binding <spelling> conflicts with an existing declaration |
SEM0049 | | Match arms have incompatible result types: <join> |
SEM0050 | | Duplicate type parameter <spelling> |
SEM0051 | | <target> expects <expected> type argument<expected1s>, received <actual> |
SEM0052 | | Cannot infer all type arguments for <target> from supplied values |
SEM0053 | | Recursive specialization changes type arguments from <caller> to <target> |
SEM0054 | Stable code for a borrowed view outside an allowed direct type position. | A borrowed view must be the complete type of an ordinary function parameterA borrowed view cannot appear in a <position> type |
SEM0055 | | A borrowed view is not valid in this expression position |
SEM0056 | | A borrowed view requires a direct stable owner or borrowed view |
SEM0057 | | Exclusive borrowing requires mutable binding <spelling> |
SEM0058 | | A shared slice cannot be reborrowed exclusively |
SEM0059 | | Passing an array as <expected> requires an explicit borrow |
SEM0060 | Stable code for a negative decimal literal contextualized as unsigned usize. | usize literals cannot be negative |
SEM0061 | Stable code for a type that cannot inhabit an Effect failure channel. | Effect failure <type> must be a detached ordinary value type |
SEM0062 | Stable code for a failure channel attached to an ordinary function. | Only effect functions may declare a failure channel |
SEM0063 | | Only effect functions may originate a typed failure |
SEM0064 | | Failure <type> is not declared by this effect function |
SEM0065 | | Cannot run non-effect value <type> |
SEM0066 | | Run leaves unhandled failures: <join> |
SEM0067 | | Invalid Effect.catch handler: <detail> |
SEM0068 | | Effect recipe bindings are immutable |
SEM0070 | Stable code for a non-concrete or non-nominal capability in a requirement row. | Effect requirement <type> must be one concrete service type |
SEM0071 | | Run leaves unsatisfied requirements: <join> |
SEM0073 | | Failure <type> is not detached because it contains a lexical borrow |
SEM0074 | | Invalid Effect provider: <detail> |
SEM0075 | | Cannot call non-callable value <actual> |
SEM0076 | | Callable <actual> cannot satisfy <expected> |
SEM0077 | | Callable invocation requires <toLowerCase> access |
SEM0078 | | <target> is unary; name it directly instead of calling it with no arguments |
SEM0080 | | Cannot merge callable values from different construction sites without explicit erasure |
SEM0081 | | Cannot return an owned callable whose concrete environment identity is unknown |
SEM0082 | Stable code for a raw storage operation outside lexical unsafe authority. | <operation> requires unsafe acknowledgement |
SEM0083 | Stable code for an invalid source-declared capability implementation. | Invalid conformance: <detail> |
SEM0084 | Stable code for a Drop implementation outside the compiler-sealed hook contract. | Invalid Drop hook: <detail> |
SEM0085 | Stable code for malformed escapes, invalid UTF-8, or non-byte literal values. | Invalid static literal: <detail> |
SEM0086 | Stable code for a typed constant whose type or literal is outside the constant contract. | Invalid constant: <detail> |
SEM0087 | Stable code for an expression statement whose result cannot be intentionally ignored. | Expression statement produces <actual>, but only () or never may be ignored |
SEM0088 | Stable code for using a generic binder in a value, failure-row, or requirement-row position of another kind. | Generic parameter <spelling> has kind <actual>, expected <expected> |
SEM0089 | Stable code for a failure or requirement row that cannot be finitely decomposed. | Failure type does not contain selected member <member>Requirement row does not contain &mut <capability>@<role>Requirement row does not contain &<capability>@<role>Requirement <capability> has role <joinor>, expected <expected>Requirement <capability>@<role> has access <joinor>, expected <expected>Requirement row remainder is ambiguous across <join>Requirement row specialization is not finite and concrete |
SEM0090 | Stable code for storage, bodies, or defaults inside a source service contract. | Invalid service declaration: <detail> |
SEM0091 | | A returned borrowed view must belong to an ordinary function with exactly one borrowed parameter; an exclusive result requires an exclusive parameter |
SEM0092 | | The returned borrowed view does not originate from the function's single borrowed parameter |
SEM0093 | Stable code for one reachable intrinsic unavailable on the requested execution target. | <operation> is unavailable for <target> |
SEM0095 | Stable code for a float literal spelling no floating-point value can represent. | Invalid float literal: <spelling> |
SEM0097 | Stable code for a bound operation call whose receiver names more than one bounded parameter. | <spelling> is ambiguous across bounded type parameters <join> |
SEM0099 | Stable code for one named type parameter left undetermined by an explicit prefix and the arguments. | Cannot infer type argument <parameter> of <target> from supplied values |
SEM0100 | Stable code for an explicit type argument contradicting the type its value arguments imply. | Type argument <parameter> of <target> is <written>, but the supplied values imply <implied> |
SEM0101 | Stable code for a bound operation whose selected witness has no lowering. | <spelling> has no witness that can be lowered for <provider> |
SEM0103 | Stable code for constructing an aggregate that stores a bare callable value. | Cannot construct <aggregate>: <site> retains the static identity of <callable>, but represented callable storage has no supported runtime layoutCannot construct <aggregate>: <site> would store the callable <callable>, whose environment layout depends on a hidden concrete identity that <aggregate> does not carry |
SEM0104 | Stable code for the first struct initializer that contradicts an inferred representation. | Representation <parameter> was inferred as <expected>, but this initializer uses <actual> |
SEM0105 | Stable code for the first exact representation that diverges at a static value join. | Cannot join <expected> with <actual>; consume each represented value inside its branch before joining |
SEM0106 | Stable code for a representation argument whose contract cannot satisfy its required bound. | Representation <parameter> requires <required>, but the supplied bound <actual> is not admissible |
SEM0107 | Stable code for storing a represented Effect before its runtime layout is supported. | Cannot construct <aggregate>: <site> retains the static identity of <effect>, but represented Effect storage has no supported runtime layout |
SEM0108 | Stable code for a typeof item that resolves to no declaration in scope. | Cannot name the exact representation of <item>: no declaration of that name is in scope |
SEM0109 | Stable code for a typeof item whose name belongs to more than one declaration. | Cannot name the exact representation of <item>: <count> declarations carry that name, so no single item is resolved |
SEM0110 | Stable code for a typeof item that names something other than an ordinary callable. | Cannot name the exact representation of <item>: it names <subject>, which has no source-nameable exact identity |
SEM0111 | Stable code for a typeof item whose generic parameters are not all supplied. | Cannot name the exact representation of <item>: an exact representation names one construction, but <expected> generic parameters were declared and <actual> concrete arguments were supplied |
SEM0112 | Stable code for a public contract exposing the exact identity of a private item. | Public contract exposes the exact representation of private <item> |
SEM0113 | Stable code for one opaque producer specialization yielding multiple exact identities. | Opaque result <family> has divergent reachable realizations: <join> |
SEM0114 | Stable code for an opaque family whose representation evidence contains no local construction. | Opaque realization cycle has no local concrete construction: <join> |
SEM0115 | Stable code for an opaque realization whose inline captures contain that same family. | Opaque results form an infinite inline layout cycle: <join> |
SEM0116 | Stable code for an opaque result binder whose bound is not callable or Effect representation. | Opaque result binder <binder> must have a callable or Effect representation bound, but its kind is <actual> |
SEM0117 | Stable code for an opaque producer whose reachable returns establish no representation. | Opaque result <family> has no reachable callable or Effect representation construction |
SEM0118 | Stable code for an opaque result declared where no producer body can establish its identity. | Opaque result <declaration> is not permitted on a <context> operation because no producer body can establish one static representation |
SEM0119 | Stable code for two conformance heads that may name one provider under one interface. | <head> may overlap <other> |
SEM0120 | Stable code for a conformance requirement that does not descend toward a base witness. | <head> declares a requirement that does not descend |
SEM0121 | Stable code for a concrete specialization whose conditional requirements cannot be proved. | <goal> cannot be proved: <detail> |
SEM0122 | Stable code for a complete application that reaches the instance frontier with open rows or evidence. | <declaration> reaches a complete application with unresolved contract rows or evidence |
SEM0123 | Stable code for a provider that matches no member of its concrete source requirement row. | The provider matches no compatible requirement |
SEM0124 | Stable code for provider relations sharing a selector but retaining disjoint candidate sets. | Provider constraints select incompatible requirement members |
SEM0125 | Stable code for provider selection that retains more than one common requirement member. | The provider matches more than one requirement; select one explicitly |
SEM0126 | Stable code for an explicitly or independently selected row that is not exactly one member. | Selected requirement row has <count> members; exactly one is required |
SEM0127 | Stable code for a surviving provider candidate with more than one conformance witness. | More than one conformance witness can provide the selected requirement |
SEM0128 | Stable code for a surviving provider candidate whose conformance mapping is invalid. | The provider's conformance mapping is invalid: <reason> |
SEM0129 | Stable code for an explicit return whose value violates the declaration result. | Return expected <expected> but received <actual> |
SEM0130 | Stable code for a reachable non-unit function fallthrough. | A reachable path must return <expected> |
SEM0131 | Stable code for a provider whose key matches but whose access cannot satisfy the requirement. | <toLowerCase> provider access cannot satisfy an <toLowerCase> requirement |
SEM0132 | Stable code for an Effect join whose alternatives cannot be represented as a finite composite. | Cannot form a finite Effect join: <detail> |
SEM0133 | Stable code for a refutable pattern in an unconditional local binding. | Let pattern is refutable for <actual>; it does not cover <join>. Use if let or match |
SEM0134 | Stable code for an operator marker that cannot describe its interface operation. | Invalid operator contract: <detail> |
SEM0135 | Stable code for operator syntax with no marked operation accepting its operands. | Operator <operator> does not accept (<join>) |
SEM0136 | Stable code for operator syntax matched by more than one marked operation. | Operator <operator> is ambiguous between <join> |
SEM0137 | Stable code for an unsafe acknowledgement that does not complete an unsafe invocation. | `unsafe` must acknowledge a complete unsafe invocation |
SEM0138 | Stable code for a statically known allocation/layout specialization mismatch. | Local-shared allocation was planned for <actual>, not <expected> |
SEM0139 | Stable code for a concrete executable that fails one sealed static-property obligation. | <property> is unsatisfied: <join> |
SEM0140 | Stable code for an externally parking entry with no explicit Execution owner. | External parking requires an explicit Intrinsic.Execution owner |
SEM0141 | Stable code for an ordinary capability conjoined with one exact executable bound. | <conjunct> is not a sealed executable property |
SEM0142 | Stable code for a statically known execution-package allocation/layout mismatch. | Execution allocation was planned for <actual>, not <expected> |
SEM0143 | Stable code for mut where no mutable owned parameter storage exists. | `mut` declares function-local owned parameter storage and is not valid in a service or interface contract`mut` declares mutable owned parameter storage; use `&mut` for exclusive borrowed access |
SEM0144 | Stable code for applying a callable whose borrowed result has no exact source identity. | A callable returning a borrowed view requires one unchanged exact function or section identity |
SEM0145 | Stable code for mutating an outer callable from a deferred effect recipe. | A deferred effect cannot mutate captured callable binding <spelling> |
SEM0146 | Stable code for a scalar enum with no declared members. | Enum <enumName> must declare at least one member |
SEM0147 | Stable code for a scalar enum representation outside the fixed-width integer set. | <spelling> is not a scalar enum representation |
SEM0148 | Stable code for a scalar enum member name repeated after its first declaration. | Duplicate enum member name <spelling> |
SEM0149 | Stable code for a scalar enum discriminant repeated after its first declaration. | Duplicate enum discriminant <value> |
SEM0150 | Stable code for an explicit scalar enum discriminant outside its representation range. | Enum discriminant <value> is outside <representation> |
SEM0151 | Stable code for an implicit scalar enum successor outside its representation range. | Implicit enum discriminant after <predecessor> exceeds <representation> |
SEM0152 | Stable code for a negative discriminant under an unsigned scalar enum representation. | Unsigned enum representation <representation> cannot hold <value> |
SEM0153 | Stable code for a member missing from a resolved scalar enum. | Enum <enumName> has no member <member> |
SEM0154 | Stable code for a canonical member used through or required by another enum. | Enum member of <actual> cannot be used as <expected> |
SEM0155 | Stable code for implicit mixing between a scalar enum and an integer. | <integer> does not implicitly construct <enumName><enumName> does not implicitly convert to <integer> |
SEM0156 | Stable code for equality between distinct canonical scalar enums. | Equality requires one enum type, not <left> and <right> |
SEM0157 | Stable code for direct ordering of scalar enum values. | Enum <enumName> does not support <operator>; compare backing values explicitly |
SEM0158 | Stable code for a scalar enum match that leaves canonical members uncovered. | Match over <enum> does not cover <join> |
SEM0159 | Stable code for a repeated unguarded scalar enum member arm. | Duplicate enum match arm <member> |
SEM0160 | Stable code for a scalar enum arm following an unguarded wildcard. | Enum match arm is unreachable after `_` |
SEM0161 | Stable code for a scalar enum pattern naming a member of another enum. | Enum pattern from <actual> cannot match <expected> |
SEM0162 | Stable code for an integer literal pattern used against a scalar enum. | Integer pattern <value> cannot match enum <enum> |
SEM0163 | Stable code for effect-block return sites whose success types disagree. | Effect block return sites have incompatible types: <join> |