Matthew Lugg

[Proposal] Allow `@export` to export any value, not just a declaration

1

Currently, the first argument to `@export` needs to be a name of some sort. Quoting from the documentation: > `declaration` must be one of two things: > - An identifier...

It doesn't matter if a pointer to a zero-bit (i.e. OPV) type is undefined or runtime-known; we still know the result of the dereference at comptime. Code may use this,...

**Note: all new names in this proposal are very open to bikeshedding, I simply came up with them because I needed names.** ## Problem Since it's cached, ZIR is arbitrarily...

Sema: copy pointer alignment to union field pointers

1

Resolves: #15878

completions: add result type based completions for builtin arguments

3

When writing arguments to builtins like `@Type`, even when using inferred initialization syntax (i.e. `@Type(.{ .`), completions are now provided. This case is detected in exactly the same way as...

compiler: implement analysis-local comptime-mutable memory

2

This commit changes how we represent comptime-mutable memory (`comptime var`) in the compiler in order to implement the intended behavior that references to such memory can only exist at comptime....

Proposal: allow inferred-size array in type annotations

15

I originally wrote up this proposal in a comment on #5038. I've remained a fan of it since then, so thought it was worth promoting to a proper proposal. ---...

design flaw: semantics of loading values with undefined bits

3

Whilst working on #19630, it was suggested by @andrewrk to introduce the semantic rule that when loading a value from a pointer, if any bits are `undefined`, the entire value...

Supply result type to operand of `try`

3

Short lil proposal today! In general, syntax forms which "extract" components of an operand cannot provide result types to said operands. For instance, a field access `x.foo` clearly cannot provide...