Issue #1135: A generic struct literal with a text field is inferred as Wrap[ref String] (NK1106)

Open and answer this issue on GitHub.

ready · opened 2026-11-01 · updated 2026-11-01 · 0 comments

Found by the r3c move of type_rules (#125), docs/briefs/r3c-type-rules-direct.md.report.md.

Probe:

struct Wrap[T] { inner: T }
fn main() {
    let w = Wrap { inner: "a" }
}

Wrap { inner: "a" } is inferred as Wrap[ref String] and refused with NK1106; it should be Wrap[String], as a let of the literal alone is.

To build:

• infer the type argument of a generic struct literal from a text literal field as String
• test in tests/compiler/

Back to Open Issues