Skip to content

Fix cascading errors when narrowing missing attributes - #5482

Open
maharshi-coding wants to merge 2 commits into
meta:mainfrom
maharshi-coding:fix/5333-missing-attribute-unknown
Open

maharshi-coding wants to merge 2 commits into
meta:mainfrom
maharshi-coding:fix/5333-missing-attribute-unknown

Preserve concrete refinements and error diagnostics when narrowing mi…

c31c598
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
select-prs
succeeded Nov 3, 2026 in 4s