lcnr
24a1729566
eagerly instantiate binders to avoid relying on sub
2024-03-14 17:19:40 +01:00
Michael Goulet
5cdbe83af8
Opportunistically resolve regions when processing region outlives obligations
2024-02-28 15:44:04 +00:00
许杰友 Jieyou Xu (Joe)
ec2cc761bc
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
Oli Scherer
5f6390f947
Continue compilation after check_mod_type_wf errors
2024-02-14 11:00:30 +00:00
lcnr
058ab53dc5
use implied bounds compat mode in MIR borrowck
2024-01-19 15:27:32 +01:00
Jack Huey
a9e30e6cdf
Don't use compat versions of implied bounds in ImpliedOutlivesBounds query
2024-01-17 22:03:06 -05:00
Ali MJ Al-Nasrawy
d96003dd2a
Correctly handle normalization in implied bounds
...
Special-case Bevy dependents to not error
2024-01-17 21:27:34 -05:00
Ali MJ Al-Nasrawy
a3fe3bbb2c
borrowck: wf-check fn item args
2024-01-16 09:25:28 +01:00
Michael Goulet
629d3511b7
Make IMPLIED_BOUNDS_ENTAILMENT into a hard error from a lint
2023-12-16 01:28:05 +00:00
lcnr
11d16c4082
update use of feature flags
2023-12-14 15:22:37 +01:00
Jubilee
8f9d8277de
Rollup merge of #118512 - spastorino:add-implied-bounds-related-tests, r=jackh726
...
Add tests related to normalization in implied bounds
Getting ```@aliemjay's``` tests from #109763 , so we can better track what's going on in every different example.
r? ```@jackh726```
2023-12-09 00:48:09 -08:00
Santiago Pastorino
7079adb226
Add Bevy related test cases
2023-12-08 20:14:23 -03:00
Santiago Pastorino
287c77e921
Add tests related to normalization in implied bounds
2023-12-08 17:48:59 -03:00
jyn
eb53721a34
recurse into refs when comparing tys for diagnostics
2023-12-07 23:00:46 -05:00
Nilstrieb
41e8d152dc
Show number in error message even for one error
...
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-11-24 19:15:52 +01:00
Ali MJ Al-Nasrawy
af79fd109b
ignore implied bounds with placeholders
2023-11-16 14:25:35 +00:00
Michael Goulet
c83f642f12
Pretty print Fn traits in rustc_on_unimplemented
2023-11-02 20:57:05 +00:00
lcnr
98fa0c93ee
unconstrained region vars: do not ICE ICE baby
2023-09-05 11:15:05 +02:00
Jack Huey
31032ecb15
Add projection obligations when comparing impl too
2023-08-20 21:13:52 -04:00
Michael Goulet
b6b5a65ae6
Select obligations before processing wf obligation in compare_method_predicate_entailment
2023-08-13 22:22:15 +00:00
Jack Huey
3028dc4ef7
Only check outlives goals on impl compared to trait
2023-08-11 21:09:17 -04:00
Michael Goulet
0e9e91a95a
Don't mention IMPLIED_BOUNDS_ENTAILMENT if signatures reference error
2023-06-05 21:20:51 +00:00
whtahy
be68c69e71
add known-bug test for unsound issue 84591
2023-04-22 00:47:07 -04:00
whtahy
adb5ded7a7
add known-bug test for unsound issue 25860
2023-04-22 00:47:07 -04:00
Ezra Shaw
b506d966a3
implement review suggestions
2023-04-14 20:18:28 +12:00
Ezra Shaw
ecf2a9b75e
fix: skip implied bounds if unconstrained lifetime exists
2023-04-13 20:29:41 +12:00
Ali MJ Al-Nasrawy
1a54144349
add test for normalization in implied bounds query
...
See https://github.com/rust-lang/rust/issues/109799 .
2023-03-31 03:27:51 +00:00
Ali MJ Al-Nasrawy
2a3177a8bc
tolerate region vars in implied bounds
...
See https://github.com/rust-lang/rust/issues/109628 .
2023-03-26 14:37:24 +03:00
Ali MJ Al-Nasrawy
9cfb5f73ba
add test
2023-03-26 11:43:12 +03:00
Rémy Rakic
5ad1083e5b
Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"
...
This reverts commit e84e5ff04a1716932743
2023-03-15 15:09:29 +00:00
Ali MJ Al-Nasrawy
183bd97d07
add test
2023-03-09 11:17:24 +03:00
Michael Goulet
a58682d7cc
Specify what 'this' actually is
2023-02-21 05:21:07 +00:00
Esteban Küber
656db98bd9
Tweak E0597
...
CC #99430
2023-01-15 19:46:20 +00:00
Michael Goulet
eaa7cc84d3
Add logic to make IMPLIED_BOUNDS_ENTAILMENT easier to understand
2023-01-13 00:39:54 +00:00
Michael Goulet
54571407b2
Bump IMPLIED_BOUNDS_ENTAILMENT to Deny + ReportNow
2023-01-12 20:44:54 +00:00
Albert Larsan
cf2dff2b1e
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
