Skip to content

Account for late-bound lifetimes in generics #103448

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

Closed
wants to merge 19 commits into from
Closed

Account for late-bound lifetimes in generics #103448

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
20ecbf5
Make verbose print of regions a bit more compact.
cjgillot Oct 22, 2022
6a874c5
Do not print single ::<'_> for fn items.
cjgillot Oct 23, 2022
29adf97
Make late_bound_lifetime_arguments a hard error.
cjgillot Oct 22, 2022
8529bda
Validate fn-sig and erased lifetimes in MIR validator.
cjgillot Oct 22, 2022
d7cc37c
Remember late_bound in GenericParamDefKind.
cjgillot Oct 22, 2022
1db0925
Make fn late-bound lifetimes part of the generics.
cjgillot Oct 23, 2022
2e30f43
Bless ui tests.
cjgillot Oct 23, 2022
bf1127d
Adapt clippy.
cjgillot Oct 23, 2022
8d067f1
Make `fn_sig` return a simple `FnSig`.
cjgillot Oct 23, 2022
cd44af1
FIXME Remove chalk assertion.
cjgillot Oct 22, 2022
99c916d
Bless mir-opt.
cjgillot Oct 22, 2022
9c9243f
Bless codegen tests.
cjgillot Oct 22, 2022
4ed91e2
Bless incremental tests.
cjgillot Oct 22, 2022
2f416e8
Remove has_late_bound_regions from Generics.
cjgillot Oct 22, 2022
4a173a6
Bless rustdoc.
cjgillot Oct 23, 2022
0b021ff
Pacify tidy.
cjgillot Oct 23, 2022
4cdb3d5
Bless cgu tests.
cjgillot Oct 24, 2022
7b5fc97
Adapt miri.
cjgillot Oct 24, 2022
1ee46c8
Bless pretty.
cjgillot Oct 24, 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
Prev Previous commit
Bless pretty.
  • Loading branch information
@cjgillot
cjgillot committed Oct 26, 2022
commit 1ee46c8b110bae9826d9fbacf673b7bdd13042fc
2 changes: 1 addition & 1 deletion src/test/pretty/issue-4264.pp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@
({
let res =
((::alloc::fmt::format as
for<'a> fn(Arguments<'a>) -> String {format})(((::core::fmt::Arguments::new_v1
fn(Arguments<'_>) -> String {format})(((::core::fmt::Arguments::new_v1
as
fn(&[&'static str], &[ArgumentV1<'_>]) -> Arguments<'_> {Arguments::<'_>::new_v1})((&([("test"
as &str)] as [&str; 1]) as &[&str; 1]),
Expand Down