Michael Goulet
ed17c6b1c3
Use TraitEngine in more places, make FulfillmentCtxt constructor more private
2022-11-10 04:26:43 +00:00
Oli Scherer
b745a29fa5
Remove an unused span
2022-11-08 16:03:48 +00:00
Oli Scherer
1d93b35855
Remove overloaded_span argument from new, where it is usually redundant with the main span
2022-11-08 15:49:29 +00:00
Cameron Steffen
349415d1c6
Remove TypeckResults from InferCtxt
2022-10-07 07:06:19 -05:00
Gabriel Bustamante
8e82200277
Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1
2022-09-01 12:54:50 -05:00
Alan Egerton
4f0a64736b
Update TypeVisitor paths
2022-07-06 06:41:53 +01:00
Camille GILLOT
0b49d05ea3
Filter OnceNote in diagnostic infra.
2022-03-20 20:36:26 +01:00
Deadbeef
84b1d859c8
Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"
...
This reverts commit ff2439b7b92a9e0831d6
2021-12-12 12:34:46 +08:00
Santiago Pastorino
85b723c4e6
Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"
...
This reverts commit 18bb8c61a9d9baa36190
2021-12-03 10:11:21 -03:00
Oli Scherer
a9a79f657c
Completely remove ConstnessAnd
2021-11-29 21:19:49 +08:00
Deadbeef
f1126f1272
Make select_* methods return Vec for TraitEngine
2021-11-08 23:35:23 +08:00
Ross MacArthur
d2613fb7a5
Improve help for recursion limit errors
2021-09-28 22:17:13 +02:00
jackh726
be76bdf905
Remove ToPredicate impls that use Binder::dummy
2021-09-15 20:54:50 -04:00
Aaron Hill
7e5a88a56c
Combine individual limit queries into single limits query
2021-07-04 13:02:51 -05:00
Aaron Hill
ff15b5e2c7
Query-ify global limit attribute handling
2021-07-04 12:33:14 -05:00
Camille GILLOT
0e71283495
Restrict access to crate_name.
...
Also remove original_crate_name, which had the exact same implementation
2021-06-02 18:35:32 +02:00
Camille Gillot
0f0f3138cb
Revert "Reduce the amount of untracked state in TyCtxt"
2021-06-01 09:05:22 +02:00
Camille GILLOT
10fb4b2fe5
Restrict access to crate_name.
...
Also remove original_crate_name, which had the exact same implementation
2021-05-30 19:54:04 +02:00
Matthew Jasper
9bbd3e0f8e
Remove ProjectionTy::from_ref_and_name
2021-02-13 19:29:55 +00:00
Bastian Kauschke
2bf93bd852
compiler: fold by value
2020-11-16 22:34:57 +01:00
Aaron Hill
d18b4bb7a7
Note when a a move/borrow error is caused by a deref coercion
...
Fixes #73268
When a deref coercion occurs, we may end up with a move error if the
base value has been partially moved out of. However, we do not indicate
anywhere that a deref coercion is occuring, resulting in an error
message with a confusing span.
This PR adds an explicit note to move errors when a deref coercion is
involved. We mention the name of the type that the deref-coercion
resolved to, as well as the `Deref::Target` associated type being used.
2020-09-10 20:56:20 -04:00
mark
9e5f7d5631
mv compiler to compiler/
2020-08-30 18:45:07 +03:00
