boltlang

可能已有人在做的 issue 排在最後。 全部依時間排序

• A field `imm [Point]` makes its struct unusable as `mut`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:types

  難度 4/5 1-2 天 新手友好度 52/100

  boltlang/Bolt#271 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• The standard library

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:std

  難度 5/5 一週以上 新手友好度 20/100

  boltlang/Bolt#270 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Prove in Lean that type inference finds a type exactly when the typing rules give one

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:proofs scope:types

  難度 5/5 一週以上 新手友好度 25/100

  boltlang/Bolt#269 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• A builtin for the clock

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen scope:std webassembly

  難度 4/5 3-5 天 新手友好度 57/100

  boltlang/Bolt#267 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Report two rest patterns `..` in one pattern

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:diagnostics

  難度 3/5 1-2 天 新手友好度 67/100

  boltlang/Bolt#266 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Quick fix: add the missing items of a class to an impl

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:lsp

  難度 4/5 3-5 天 新手友好度 45/100

  boltlang/Bolt#265 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Type-check bounded types like `A + B`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:types

  難度 4/5 1-2 天 新手友好度 48/100

  boltlang/Bolt#264 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Decide whether `async`, `await` and `yield` stay keywords

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  discussion enhancement scope:syntax

  難度 5/5 一週以上 新手友好度 25/100

  boltlang/Bolt#263 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Type-check ranges like `0..10`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:types

  難度 4/5 3-5 天 新手友好度 48/100

  boltlang/Bolt#261 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Check the fragment specifier of `$x:frag` in macros

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:diagnostics scope:macros

  難度 3/5 1-2 天 新手友好度 58/100

  boltlang/Bolt#260 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• Implied bounds: assume a struct's bounds where its type is given

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:types

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#259 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• `cargo fmt` would reformat almost every file

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug priority:low rust

  難度 1/5 1 小時以內 新手友好度 78/100

  boltlang/Bolt#258 · 2026年10月28日 建立

  維護者通常 1 天內回覆

• `x.f()` calls a field `f` that isn't a function instead of the function `f`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  discussion enhancement scope:types

  難度 5/5 一週以上 新手友好度 45/100

  boltlang/Bolt#242 · 2026年10月27日 建立

  維護者通常 1 天內回覆

• Point at the other use for infinite type errors

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:types

  難度 4/5 3-5 天 新手友好度 49/100

  boltlang/Bolt#237 · 2026年10月27日 建立

  維護者通常 1 天內回覆

• The evaluator can't choose an impl at run time for numbers or for methods without an argument of the class's type

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#236 · 2026年10月27日 建立

  維護者通常 1 天內回覆

• Functions in the namespace of a type, like `fn Vec.new()`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:types

  難度 5/5 一週以上 新手友好度 30/100

  boltlang/Bolt#232 · 2026年10月27日 建立

  維護者通常 1 天內回覆

• A builtin that unsets an element of an array, so that `Vec.pop` doesn't keep it alive

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:std

  難度 4/5 3-5 天 新手友好度 53/100

  boltlang/Bolt#231 · 2026年10月27日 建立

  維護者通常 1 天內回覆

• Should `[value; count]` share `value` when it's an array or struct?

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  question scope:types

  難度 4/5 3-5 天 新手友好度 45/100

  boltlang/Bolt#211 · 1 則留言 · 2026年10月27日 建立

  維護者通常 1 天內回覆

• Uniqueness, so that a value built as `mut` can become `imm`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  discussion enhancement scope:types

  難度 5/5 一週以上 新手友好度 25/100

  boltlang/Bolt#209 · 1 則留言 · 2026年10月27日 建立

  維護者通常 1 天內回覆

• Track changes made through methods in the design of reactivity

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  discussion documentation

  難度 1/5 1 小時以內 新手友好度 88/100

  boltlang/Bolt#200 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Define `String` in `std` over a byte array

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen scope:std scope:types

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#199 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Remove fixed-size array types `[T; N]`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:syntax scope:types

  難度 4/5 3-5 天 新手友好度 50/100

  boltlang/Bolt#198 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Should `[1, 2, 3]` and `[T]` be a `Vec`?

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  discussion enhancement scope:codegen scope:std scope:types

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#197 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Let the compiler find types like `Bool`, `String` and `Vec` in the prelude

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:std scope:types

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#194 · 1 則留言 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Use Wasm tail calls for calls in tail position

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement performance scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#191 · 2 則留言 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• A builtin for reading a line of input

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen scope:std webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#190 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Builtins that turn values into strings

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen scope:std webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#189 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Name the locals of compiled functions

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement good first issue scope:codegen webassembly

  難度 3/5 1-2 天 新手友好度 76/100

  boltlang/Bolt#188 · 1 則留言 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Report where a panic or trap happened in `bolt run --wasm`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:cli scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#187 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Run compiled code in the playground

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement javascript scope:codegen webassembly

  難度 4/5 3-5 天 新手友好度 53/100

  boltlang/Bolt#186 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Compile `i128` and `u128`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#185 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• The evaluator and compiled code disagree on overflow and float casts

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 38/100

  boltlang/Bolt#184 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Compile calls of class methods

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen scope:types webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#182 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Compile closures and functions as values

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#181 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Strings made while the program runs, like `a + b`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 25/100

  boltlang/Bolt#180 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Compile arrays and `for` loops

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 48/100

  boltlang/Bolt#179 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Compile enums with fields, and `match` on them

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#178 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Compile structs and tuples to WebAssembly

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement scope:codegen webassembly

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#177 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• `bolt run --wasm` can't run programs with `extern` functions

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:cli webassembly

  難度 5/5 一週以上 新手友好度 25/100

  boltlang/Bolt#176 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Initializing a variable declared without a value is checked by source order, not control flow

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug priority:high scope:types

  難度 5/5 一週以上 新手友好度 35/100

  boltlang/Bolt#162 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Should impls be visible in a whole package, or only through imports?

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  discussion scope:types

  難度 5/5 一週以上 新手友好度 25/100

  boltlang/Bolt#160 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Report names bound twice in a pattern or in type parameters

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:diagnostics

  難度 4/5 3-5 天 新手友好度 54/100

  boltlang/Bolt#159 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Range patterns of strings are accepted

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:types

  難度 2/5 1-3 小時 新手友好度 82/100

  boltlang/Bolt#157 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Report a field given twice in a struct literal

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:types

  難度 2/5 1-3 小時 新手友好度 82/100

  boltlang/Bolt#156 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Check that the superclasses of an impl's class have impls

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:types

  難度 4/5 1-2 天 新手友好度 62/100

  boltlang/Bolt#155 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Check the parameters of impl methods against their class

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:types

  難度 3/5 1-2 天 新手友好度 72/100

  boltlang/Bolt#154 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Report overlapping impls where they're defined

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:diagnostics scope:types

  難度 4/5 3-5 天 新手友好度 57/100

  boltlang/Bolt#153 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Check that integer literals fit their type

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:diagnostics scope:types

  難度 4/5 3-5 天 新手友好度 58/100

  boltlang/Bolt#152 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• The alternatives of an or-pattern must bind the same names, at the same types

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:types

  難度 3/5 1-2 天 新手友好度 75/100

  boltlang/Bolt#151 · 2026年10月26日 建立

  維護者通常 1 天內回覆

• Two field constraints on the same field can have different types

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug scope:types

  難度 4/5 3-5 天 新手友好度 42/100

  boltlang/Bolt#150 · 2026年10月26日 建立

  維護者通常 1 天內回覆