Commit Graph

12 Commits

Author SHA1 Message Date
Ellen
db9b8cef86 update tests 2021-12-10 19:21:25 +00:00
Aaron Hill
611191f54c Report cycle error using 'deepest' obligation in the cycle 2021-09-02 11:49:32 -05:00
lcnr
87e781799a feature(const_param_types) -> feature(adt_const_params) 2021-08-30 12:07:36 +02:00
lcnr
0c28e028b6 feature(const_generics) -> feature(const_param_types) 2021-08-30 11:00:21 +02:00
Ellen
fcc2badf9b rename const_evaluatable_checked to generic_const_exprs
2021-08-30 11:00:21 +02:00
bors
91f9806208 Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnr
canonicalize consts before calling try_unify_abstract_consts query

Fixes #88022
Fixes #86953
Fixes #77708
Fixes #82034
Fixes #85031

these ICEs were all caused by calling the `try_unify_abstract_consts` query with inference vars in substs

r? `@lcnr`
2021-08-22 18:00:22 +00:00
Ellen
ab61e722ee regression tests 2021-08-19 19:47:38 +01:00
Ellen
0d9ea42579 add tests 2021-08-18 21:15:33 +01:00
Ralf Jung
6a8cf4a17c adjust tests 2020-05-09 14:40:17 +02:00
Bastian Kauschke
698b20eeda update tests 2020-03-31 19:01:49 +02:00
Ben Lewis
ebfa2f448e Add regression test for issue 68477. 2020-02-20 19:51:45 +13:00
ben
aa3d28f9a8 Fix canonicalize_const_var from leaking inference variables through
it's type.
2019-10-21 19:52:32 +13:00