Search results

Json::getInt etc. silently unbox a boxed-nullable Java return to a non-null primitive → NPE on a missing key

Status: Open.

#318 In onion-lang/onion;

· kmizu opened on Jul 8, 2026

A throw-only lambda body infers Object return type instead of bottom (breaks Future/do target-typing)

Status: Open.

#314 In onion-lang/onion;

· kmizu opened on Jul 8, 2026

Generic ADT enums (enum Opt[T] { case Some(value: T); case Nothing }) — grammar + pattern-match type recovery

Status: Open.

#311 In onion-lang/onion;

· kmizu opened on Jul 8, 2026

Enhancement: infer a generic constructor's type argument from the constructor arguments (new Box("hi"))

Status: Open.

#305 In onion-lang/onion;

· kmizu opened on Jul 7, 2026

Enhancement: allow nested type patterns in select destructuring (case X(y is T))

Status: Open.

#299 In onion-lang/onion;

· kmizu opened on Jul 6, 2026

null literal assigned to a non-null type is only a warning, then NPEs (soundness gap)

Status: Open.

#267 In onion-lang/onion;

· kmizu opened on Jul 4, 2026

Epic: Type classes (Rust-trait style) — trait / instance / [T: Numeric]

Status: Open.

#224 In onion-lang/onion;

· kmizu opened on Jul 2, 2026

No list sum() (numeric aggregation under erasure generics needs a design decision)

bug

Status: Open.

#223 In onion-lang/onion;

· kmizu opened on Jul 2, 2026

·  

0.3.9