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

[DO NOT MERGE] bootstrap with next solver enabled #124812

Closed
wants to merge 18 commits into from
Closed

[DO NOT MERGE] bootstrap with next solver enabled #124812

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
d248a06
avoid non-defining uses in defining scope
lcnr May 22, 2024
26ef6e1
update winnowing
lcnr May 22, 2024
ba641d2
add debug_assert to alias-relate
lcnr May 21, 2024
48af4e6
change selection test to run-pass
lcnr May 21, 2024
4df2802
refactor analyse visitor to instantiate states in order
lcnr May 21, 2024
a21e2fb
eagerly normalize when adding goals
lcnr May 21, 2024
87123f6
add a normalizes-to fast path
lcnr May 20, 2024
46fa6ae
add fixme :(
lcnr May 21, 2024
45046f9
alias-relate: add fast reject optimization
lcnr May 21, 2024
c147f84
omg wtf
compiler-errors May 2, 2024
4ab9f49
alias-relate: add fast reject optimization
lcnr May 21, 2024
72459fd
drop region constraints for ambiguous goals
lcnr May 22, 2024
8bcd046
add a regression test
lcnr May 22, 2024
25140e5
increase recursion limit
lcnr May 24, 2024
d96714b
itertools, use git repo
lcnr May 24, 2024
ced92ab
enable new solver everywhere
lcnr May 24, 2024
bb557f5
Revert "core: use `Copy` in TAIT to fix clippy lint"
lcnr May 24, 2024
18a413a
Revert "core: actually use TAIT instead of emulating it"
lcnr May 24, 2024
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
Revert "core: use Copy in TAIT to fix clippy lint" 
This reverts commit c398b2c.
  • Loading branch information
@lcnr
lcnr committed May 24, 2024
commit bb557f5db0d5ddb454b5c9467b47354b5b4619d4
2 changes: 1 addition & 1 deletion library/core/src/slice/ascii.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -190,7 +190,7 @@ impl [u8] {
}
}

type EscapeByte = impl (Fn(&u8) -> ascii::EscapeDefault) + Copy;
type EscapeByte = impl (Fn(&u8) -> ascii::EscapeDefault) + Clone;

/// An iterator over the escaped version of a byte slice.
///
Expand Down
18 changes: 9 additions & 9 deletions library/core/src/str/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2764,15 +2764,15 @@ impl Default for &mut str {
}
}

type LinesMap = impl (Fn(&str) -> &str) + Copy;
type CharEscapeDebugContinue = impl (FnMut(char) -> char::EscapeDebug) + Copy;
type CharEscapeUnicode = impl (Fn(char) -> char::EscapeUnicode) + Copy;
type CharEscapeDefault = impl (Fn(char) -> char::EscapeDefault) + Copy;
type IsWhitespace = impl (Fn(char) -> bool) + Copy;
type IsAsciiWhitespace = impl (Fn(&u8) -> bool) + Copy;
type IsNotEmpty = impl (Fn(&&str) -> bool) + Copy;
type BytesIsNotEmpty<'a> = impl (FnMut(&&'a [u8]) -> bool) + Copy;
type UnsafeBytesToStr<'a> = impl (FnMut(&'a [u8]) -> &'a str) + Copy;
type LinesMap = impl (Fn(&str) -> &str) + Clone;
type CharEscapeDebugContinue = impl (FnMut(char) -> char::EscapeDebug) + Clone;
type CharEscapeUnicode = impl (Fn(char) -> char::EscapeUnicode) + Clone;
type CharEscapeDefault = impl (Fn(char) -> char::EscapeDefault) + Clone;
type IsWhitespace = impl (Fn(char) -> bool) + Clone;
type IsAsciiWhitespace = impl (Fn(&u8) -> bool) + Clone;
type IsNotEmpty = impl (Fn(&&str) -> bool) + Clone;
type BytesIsNotEmpty<'a> = impl (FnMut(&&'a [u8]) -> bool) + Clone;
type UnsafeBytesToStr<'a> = impl (FnMut(&'a [u8]) -> &'a str) + Clone;

// This is required to make `impl From<&str> for Box<dyn Error>` and `impl<E> From<E> for Box<dyn Error>` not overlap.
#[stable(feature = "rust1", since = "1.0.0")]
Expand Down