kw dyn

Reserved keyword

The list of words: §1.4

Syntax

AtomType    = Path [ "<" TypeArgs ">" ] | "(" [ Type { "," Type } ] ")" | "[" Type [ ";" Expr ] "]"
            | "&" [ "var" ] Type | "*" [ "var" ] Type | ( "frozen" | "sync" | "view" | "dyn" ) Type
            | "fn" "(" [ Type { "," Type } ] ")" [ "->" Type ] [ Effects ] [ "escaping" ] | "never" ;

Grammar: App. A

Defined in

• 9.5 User-defined serialisers — Level 1 — representation through another type (Repr), acts in all formats and in schemas
• 4.6 Interfaces — Interfaces are structural
• 4.8 Generics — Parameters: type parameters T, constant parameters const N
• 1.4 Keywords — Reserved (cannot be used as names)

Related diagnostics

schema-attr, explicit-interface, interface-not-satisfied, bound-not-satisfied, generic-args