Skip to content

v2 infer: an integer literal elaborates at an expected type through literal_homomorphism_rows; std.nat Peano row; -1 refused at Nat (XL-2) - #13320

Open
gunbai-bot[bot] wants to merge 105 commits into
mainfrom
session/stern-swift-290-literal
Open

v2 infer: an integer literal elaborates at an expected type through literal_homomorphism_rows; std.nat Peano row; -1 refused at Nat (XL-2)#13320
gunbai-bot[bot] wants to merge 105 commits into
mainfrom
session/stern-swift-290-literal

Regenerate the literal_elaboration and structural_realization_binding…

d974378
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar