Oli Scherer
86c8eae774
Automatically taint InferCtxt when errors are emitted
2024-06-26 16:01:45 +00:00
Oli Scherer
ae50e36dfa
Merge collect_mod_item_types query into check_well_formed
2024-03-07 14:26:31 +00:00
lcnr
c71484eefd
change error messages to be incorrect, but more helpful
2024-02-22 18:18:33 +01:00
lcnr
49dc0f22f4
do not use <: in subtyping overflow msg
2024-02-22 17:43:59 +01:00
lcnr
f7cdff825c
overflow errors: change source to a concrete enum
2024-02-22 17:43:57 +01:00
lcnr
91535ad026
remove sub_relations from infcx, recompute in diagnostics
...
we don't track them when canonicalizing or when freshening,
resulting in instable caching in the old solver, and issues when
instantiating query responses in the new one.
2024-02-22 17:29:25 +01:00
许杰友 Jieyou Xu (Joe)
ec2cc761bc
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
2024-02-16 20:02:50 +00:00
Oli Scherer
eab2adb660
Continue to borrowck even if there were previous errors
2024-02-08 08:10:43 +00:00
Nicholas Nethercote
4cfdbd328b
Add spacing information to delimiters.
...
This is an extension of the previous commit. It means the output of
something like this:
```
stringify!(let a: Vec<u32> = vec![];)
```
goes from this:
```
let a: Vec<u32> = vec![] ;
```
With this PR, it now produces this string:
```
let a: Vec<u32> = vec![];
```
2023-12-11 09:36:40 +11:00
Nilstrieb
9b80d85722
Manual find replace updates
2023-11-24 21:04:51 +01: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
Oli Scherer
fd9ef69adf
Avoid a track_errors by bubbling up most errors from check_well_formed
2023-10-20 08:46:27 +00:00
Oli Scherer
5d850e0f50
Permit recursive weak type aliases
2023-08-30 11:55:03 +00:00
nxya
a54a66830d
moved note as unspanned note, moved note to the bottom of the msg
2023-07-18 21:53:34 -04:00
nxya
e6e8892051
added links as a note
2023-07-18 09:27:35 -04:00
nxya
f92a9f6808
add links to query documentation for E0391
2023-07-18 09:27:26 -04:00
nxya
bef91ee687
added links as a note
2023-07-18 09:20:25 -04:00
nxya
c429a72db9
add links to query documentation for E0391
2023-07-18 09:20:25 -04:00
Michael Goulet
25c342f30a
Split implied and super predicate queries
2023-04-11 17:45:42 +00:00
clubby789
21bcd2ee9c
Fix ICE on type alias in recursion
2023-02-17 16:20:38 +00:00
Albert Larsan
cf2dff2b1e
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
