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

[Merged by Bors] - Add ambiguity detection tests #6053

Closed
wants to merge 14 commits into from
Closed

[Merged by Bors] - Add ambiguity detection tests #6053

Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
253f404
Add `SystemOrderAmbiguity` struct
JoJoJet Sep 21, 2022
ad96b07
Use a stable ordering for ambiguity lists
JoJoJet Sep 21, 2022
993e220
Copy over docs
JoJoJet Sep 21, 2022
03b2e6e
Add unit tests
JoJoJet Sep 21, 2022
aea2253
Make `SystemOrderAmbiguity` private
JoJoJet Sep 21, 2022
c475007
Make a fn private
JoJoJet Sep 21, 2022
63b47f0
Un-silence a lint
JoJoJet Sep 21, 2022
a0556f7
Remove a useless pub
JoJoJet Sep 21, 2022
ff0375d
Clarify some incorrect behavior
JoJoJet Sep 21, 2022
ec78500
`n_ambiguityies` -> `ambiguity_count`
JoJoJet Sep 21, 2022
d2d5135
Use conditional compilation
JoJoJet Sep 21, 2022
e08cec5
Remove some redundant empty system test cases
JoJoJet Sep 22, 2022
0eaeef9
bump CI
JoJoJet Sep 22, 2022
e7f6f51
Merge remote-tracking branch 'upstream/main' into ambiguity-struct
JoJoJet Sep 22, 2022
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
Loading