Skip to content

Autoharness: support pattern types (RigidTy::Pat) - #4780

Open
Tianshu-Huang wants to merge 3 commits into
model-checking:mainfrom
Tianshu-Huang:autoharness-pattern-type
Open

Autoharness: support pattern types (RigidTy::Pat) #4780
Tianshu-Huang wants to merge 3 commits into
model-checking:mainfrom
Tianshu-Huang:autoharness-pattern-type

Fix scalar_niche for pointer pattern types; add assert for NonNull

e54cefe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Sep 8, 2026 in 6s