Alan Egerton
695072daa6
Remove type-traversal trait aliases
2023-02-22 17:04:58 +00:00
Boxy
57ad73aa27
rename query and use NoSolution
2023-02-12 19:32:07 +00:00
Boxy
a85b0101e6
make relate's const ty assertion use semantic equality
2023-02-11 23:05:16 +00:00
Michael Goulet
75074e0e52
Delay normalization bugs instead of reporting them
2023-01-13 23:19:36 +00:00
Michael Goulet
16cfadbfe8
Suggest lifetime bound in illegal Copy impl
2023-01-13 23:06:29 +00:00
Michael Goulet
333c6bf523
copy self type is implied wf
2023-01-13 23:06:29 +00:00
Michael Goulet
8cf7f40a89
Check ADT fields for copy implementations considering regions
2023-01-13 23:06:29 +00:00
Michael Goulet
bc345d7bd0
Move fallback_has_occurred to FnCtxt
2022-11-06 02:40:25 +00:00
Cameron Steffen
283abbf0e7
Change InferCtxtBuilder from enter to build
2022-10-07 07:10:40 -05:00
Cameron Steffen
4a68373217
Introduce TypeErrCtxt
...
TypeErrCtxt optionally has a TypeckResults so that InferCtxt doesn't
need to.
2022-10-07 07:06:16 -05:00
Oli Scherer
c7b6ebdf7c
It's not about types or consts, but the lack of regions
2022-10-04 14:10:44 +00:00
Michael Goulet
37d412cff7
Remove FulfillmentContext param from fully_normalize
2022-08-04 13:42:13 +00:00
Alan Egerton
4f0a64736b
Update TypeVisitor paths
2022-07-06 06:41:53 +01:00
Michael Goulet
4c6a6bc3f9
Tighten spans for bad fields in Copy struct
2022-06-03 19:17:12 -07:00
Michael Goulet
c8cbd3d03c
better errors when a Copy impl is not coherent
2022-03-22 18:15:29 -07:00
Nicholas Nethercote
ca5525d564
Improve AdtDef interning.
...
This commit makes `AdtDef` use `Interned`. Much the commit is tedious
changes to introduce getter functions. The interesting changes are in
`compiler/rustc_middle/src/ty/adt.rs`.
2022-03-11 13:31:24 +11:00
Michael Goulet
ee98dc8b3b
restore spans for issue-50480
2022-02-24 08:40:59 -08:00
Michael Goulet
8ba74369c2
better ObligationCause for normalization errors in can_type_implement_copy
2022-02-24 08:30:38 -08:00
Sylvan Bowdler
dd5717a6d6
Remove in_band_lifetimes from rustc_trait_selection
2021-12-15 21:52:30 +00:00
bstrie
ce1143e94d
impl Copy/Clone for arrays in std, not in compiler
2021-11-08 13:11:58 -05:00
Bastian Kauschke
2bf93bd852
compiler: fold by value
2020-11-16 22:34:57 +01:00
LeSeulArtichaut
3e14b684dd
Change ty.kind to a method
2020-09-04 17:47:51 +02:00
mark
9e5f7d5631
mv compiler to compiler/
2020-08-30 18:45:07 +03:00
