Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Infer type in irrefutable slice patterns with fixed length as array #113199

Merged
merged 11 commits into from
Aug 3, 2023
Merged

Infer type in irrefutable slice patterns with fixed length as array #113199

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift click to select a range
2827aa9
try to infer array type from slice pattern
b-naber Jun 21, 2023
e18e376
add test, bless tests
b-naber Jun 21, 2023
b3413c6
only infer array type on irrefutable patterns
b-naber Jun 23, 2023
39c2785
add tests for refutable patterns
b-naber Jun 30, 2023
feb8bb1
combine arguments into PatInfo
b-naber Jul 3, 2023
843e2ee
add test for nested pattern
b-naber Jul 3, 2023
1c217b6
move els into DeclOrigin
b-naber Jul 5, 2023
65f92a5
address review
b-naber Jul 10, 2023
96af415
try to structurally resolve before try_resolve_slice_ty_to_array_ty
b-naber Jul 17, 2023
e1e7553
add more tests
b-naber Jul 17, 2023
5a9af37
address review
b-naber Jul 28, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
combine arguments into PatInfo
  • Loading branch information
@b-naber
b-naber committed Jul 17, 2023
commit feb8bb127305f692e4b08b5b4f0eb21a0da79511
Loading