Issues

bridge: retire the `object` fallback — non-generic CLR interfaces keep CLR identity, UnmappedClrType becomes refusal-only (R-BO; tracking, P18 phase 2)

#1975

· antonsynd opened

on Sep 22, 2026

Language design: introduce `let` as the declaration keyword; retire `auto`; keep `=` for write-through

#1974

· antonsynd opened

on Sep 21, 2026

checker: overload index widens an unmapped CLR interface formal (ITuple) to non-nullable object, so bool(C()) selects Bool(ITuple) while Roslyn binds Bool(object?)

bug

#1973

· antonsynd opened

on Sep 21, 2026

stdlib: collections.deque is refused at truth positions (SPY0220 'has no falsy case') — Deque<T> spells len as IReadOnlyCollection<T>, not ISized (sibling of #1933)

#1972

· antonsynd opened

on Sep 21, 2026

codegen: a cross-file GENERIC union matched with a class pattern emits an unqualified case type — case Tree<int>.Leaf is CS0246 behind SPY0908 on the project route (sibling of #1683/#1802)

#1971

· antonsynd opened

on Sep 21, 2026

core+codegen: t-strings drop the !r / !s / !a conversion — Sharpy.Interpolation has no conversion slot, so the renderer and the SPY0609 static twin disagree

#1970

· antonsynd opened

on Sep 21, 2026

semantic+codegen: reverse-mangled spellings on Sharpy wrappers resolve against a CLR surface the emitter cannot bind — xs.index_of prints a delegate past the R-AP gate, xs.last_index_of / b.copy_to are CS1061 in value AND callee position (sibling of #1960, #1942)

#1969

· antonsynd opened

on Sep 21, 2026

stdlib: str()/print()/f"{x}" on defaultdict, OrderedDict, ChainMap and Counter render the KEY LIST — none overrides ToString (sibling of #1933)

#1968

· antonsynd opened

on Sep 21, 2026

semantic: zero-arity tuple return annotation — `-> tuple[()]` resolves to `tuple[tuple[]]` and `-> tuple[]` to `array[tuple[]]`, so `return ()` is SPY0260

#1967

· antonsynd opened

on Sep 21, 2026

Bridge syntax/keyword for explicit CLR-collection ↔ Sharpy-collection conversion — documented design, deliberately not scheduled (R-BH)

enhancement

parked

#1966

· antonsynd opened

on Sep 21, 2026

bridge: CLR interface sequences keep CLR identity; Sharpy collections only via explicit list()/dict()/set() — retire #1251's implicit slot materialization (R-BH, P18b)

codegen

enhancement

semantic

#1965

· antonsynd opened

on Sep 21, 2026

Checker types bridge-collapsed collection .count as the list.count method group, but emitter binds the CLR Count property

bug

#1960

· antonsynd opened

on Sep 21, 2026

Navigation Menu

All issues

bridge: retire the `object` fallback — non-generic CLR interfaces keep CLR identity, UnmappedClrType becomes refusal-only (R-BO; tracking, P18 phase 2)

Language design: introduce `let` as the declaration keyword; retire `auto`; keep `=` for write-through

checker: overload index widens an unmapped CLR interface formal (ITuple) to non-nullable object, so bool(C()) selects Bool(ITuple) while Roslyn binds Bool(object?)

stdlib: collections.deque is refused at truth positions (SPY0220 'has no falsy case') — Deque<T> spells len as IReadOnlyCollection<T>, not ISized (sibling of #1933)

codegen: a cross-file GENERIC union matched with a class pattern emits an unqualified case type — case Tree<int>.Leaf is CS0246 behind SPY0908 on the project route (sibling of #1683/#1802)

core+codegen: t-strings drop the !r / !s / !a conversion — Sharpy.Interpolation has no conversion slot, so the renderer and the SPY0609 static twin disagree

semantic+codegen: reverse-mangled spellings on Sharpy wrappers resolve against a CLR surface the emitter cannot bind — xs.index_of prints a delegate past the R-AP gate, xs.last_index_of / b.copy_to are CS1061 in value AND callee position (sibling of #1960, #1942)

stdlib: str()/print()/f"{x}" on defaultdict, OrderedDict, ChainMap and Counter render the KEY LIST — none overrides ToString (sibling of #1933)

semantic: zero-arity tuple return annotation — `-> tuple[()]` resolves to `tuple[tuple[]]` and `-> tuple[]` to `array[tuple[]]`, so `return ()` is SPY0260

Bridge syntax/keyword for explicit CLR-collection ↔ Sharpy-collection conversion — documented design, deliberately not scheduled (R-BH)

bridge: CLR interface sequences keep CLR identity; Sharpy collections only via explicit list()/dict()/set() — retire #1251's implicit slot materialization (R-BH, P18b)

Checker types bridge-collapsed collection .count as the list.count method group, but emitter binds the CLR Count property

Search results