Matthias Krüger
c0ca84b006
Rollup merge of #111100 - BoxyUwU:array_repeat_expr_wf, r=compiler-errors
...
check array type of repeat exprs is wf
Fixes #111091
Also makes sure that we actually renumber regions in the length of repeat exprs which we previously weren't doing and would cause ICEs in `adt_const_params` + `generic_const_exprs` from attempting to prove the wf goals when the length was an unevaluated constant with `'erased` in the `ty` field of `Const`
The duplicate errors are caused by the fact that `const_arg_to_const`/`array_len_to_const` in `FnCtxt` adds a `WellFormed` goal for the created `Const` which is also checked by the added `WellFormed(array_ty)`. I don't want to change this to just emit a `T: Sized` goal for the element type since that would ignore `ConstArgHasType` wf requirements and generally uncomfortable with the idea of trying to sync up `wf::obligations` for arrays and the code in hir typeck for repeat exprs.
r? `@compiler-errors`
2023-05-04 19:18:21 +02:00
..
2023-04-30 00:06:26 +08:00
2023-04-25 00:08:35 +02:00
2023-04-25 00:08:35 +02:00
2023-04-11 03:07:58 +00:00
2023-04-12 22:50:10 +00:00
2023-04-23 18:09:30 +00:00
2023-04-25 23:32:13 +02:00
2023-05-02 11:44:53 +05:30
2023-04-25 19:53:09 +00:00
2023-05-02 05:04:50 +00:00
2023-04-27 18:33:39 +00:00
2023-04-13 22:08:07 -05:00
2023-04-28 20:28:56 -05:00
2023-04-27 01:34:03 +00:00
2023-04-30 23:57:47 +02:00
2023-04-12 22:50:10 +00:00
2023-04-30 00:06:26 +08:00
2023-04-20 18:01:07 +00:00
2023-04-30 20:24:10 +02:00
2023-04-16 23:09:57 +00:00
2023-04-15 16:11:42 -07:00
2023-04-26 22:34:39 -04:00
2023-04-15 16:11:42 -07:00
2023-04-28 14:42:03 +02:00
2023-05-04 19:18:21 +02:00
2023-04-27 22:44:42 -07:00
2023-05-04 19:18:21 +02:00
2023-04-15 16:11:42 -07:00
2023-04-11 17:45:42 +00:00
2023-04-12 22:50:10 +00:00
2023-04-27 01:34:03 +00:00
2023-04-27 01:34:03 +00:00
2023-05-01 16:15:13 +08:00
2023-04-27 17:02:17 +00:00
2023-04-08 21:11:16 +00:00
2023-04-20 15:06:17 -03:00
2023-05-03 20:09:10 +03:00
2023-04-21 08:40:00 +08:00
2023-05-03 16:42:48 -07:00
2023-05-03 20:09:10 +03:00
2023-04-22 13:41:53 -04:00
2023-05-01 01:09:47 +02:00
2023-05-01 16:15:17 +08:00
2023-05-01 16:37:00 +08:00
2023-04-10 16:36:30 +00:00
2023-04-14 21:11:13 +02:00
2023-05-04 08:09:05 +02:00
2023-04-22 00:47:07 -04:00
2023-04-12 22:50:10 +00:00
2023-04-26 18:51:44 +02:00
2023-04-11 17:45:42 +00:00
2023-04-15 16:11:42 -07:00
2023-05-03 20:09:10 +03:00
2023-04-12 22:50:10 +00:00
2023-04-13 22:08:07 -05:00
2023-05-01 13:37:15 -07:00
2023-04-25 15:25:19 +00:00
2023-05-03 16:42:51 -07:00
2023-05-03 20:09:10 +03:00
2023-04-27 22:29:04 +02:00
2023-04-10 06:52:41 +00:00
2023-04-29 10:32:31 +00:00
2023-04-15 07:46:46 +00:00
2023-05-02 11:44:52 +05:30
2023-04-21 22:32:38 +00:00
2023-05-01 16:15:17 +08:00
2023-04-12 22:50:10 +00:00
2023-04-30 14:08:26 +00:00
2023-04-18 07:14:01 -05:00
2023-04-26 21:48:21 +00:00
2023-04-20 18:01:07 +00:00
2023-04-27 01:34:03 +00:00
2023-04-25 00:08:35 +02:00
2023-04-12 22:50:10 +00:00
2023-04-12 22:50:10 +00:00
2023-04-27 09:58:18 +01:00
2023-04-16 11:38:52 +00:00
2023-04-25 19:53:09 +00:00
2023-05-03 20:09:10 +03:00
2023-04-20 14:27:29 +09:00
2023-04-20 09:41:38 +00:00
2023-04-21 02:45:48 -07:00
2023-04-12 22:50:10 +00:00
2023-05-01 16:15:13 +08:00
2023-04-28 20:28:56 -05:00
2023-04-29 13:01:46 +01:00
2023-04-25 18:11:28 +02:00
2023-05-02 22:36:24 +00:00
2023-05-01 16:15:17 +08:00
2023-04-21 16:14:43 +00:00
2023-04-27 22:29:04 +02:00
2023-04-21 22:12:45 +00:00
2023-04-24 07:53:23 +02:00
2023-04-26 01:55:50 -05:00
2023-05-03 20:09:10 +03:00
2023-04-11 10:27:57 +02:00
2023-04-12 22:50:10 +00:00
2023-05-01 15:05:39 +01:00
2023-05-01 16:15:17 +08:00
2023-04-07 00:00:25 +02:00
2023-04-12 22:50:10 +00:00
2023-04-21 22:32:38 +00:00
2023-05-01 15:45:28 +00:00
2023-04-12 22:50:10 +00:00
2023-04-12 22:50:10 +00:00
2023-05-03 22:41:29 +00:00
2023-05-04 19:18:20 +02:00
2023-04-12 22:50:10 +00:00
2023-04-08 22:14:57 +01:00
2023-04-27 01:34:03 +00:00
2023-04-26 22:34:39 -04:00
2023-04-29 13:01:46 +01:00
2023-04-19 19:13:45 +00:00
2023-04-13 22:10:26 -05:00
2023-04-12 22:50:10 +00:00
2023-04-28 23:08:54 +02:00
2023-05-03 16:42:51 -07:00
2023-04-30 00:06:26 +08:00
2023-05-02 12:07:55 +00:00
2023-04-26 22:34:30 -04:00
2023-04-26 21:02:56 +02:00
2023-04-07 08:33:56 +01:00
2023-04-12 22:50:10 +00:00
2023-05-03 16:42:51 -07:00
2023-04-18 17:33:46 -07:00
2023-04-13 21:57:08 +00:00
2023-05-01 16:37:00 +08:00
2023-04-20 18:01:07 +00:00
2023-04-25 19:53:09 +00:00
2023-05-04 11:22:40 +01:00
2023-05-01 16:15:17 +08:00
2023-04-12 22:50:10 +00:00
2023-05-03 20:09:10 +03:00
2023-04-12 22:50:10 +00:00
2023-04-29 13:01:46 +01:00
2023-04-22 13:57:34 -04:00
2023-04-12 22:50:10 +00:00
2023-04-13 22:10:26 -05:00
2023-04-08 21:32:55 +00:00
2023-04-08 21:32:55 +00:00
2023-04-13 22:08:07 -05:00
2023-04-13 22:08:07 -05:00
2023-04-13 22:10:26 -05:00
2023-04-13 22:08:07 -05:00
2023-04-13 22:08:07 -05:00
2023-04-13 22:08:07 -05:00
2023-04-13 22:08:07 -05:00
2023-04-17 22:40:31 -05:00
2023-04-17 22:40:31 -05:00
2023-04-17 22:40:31 -05:00
2023-04-13 22:08:07 -05:00
2023-04-12 22:50:10 +00:00
2023-04-25 00:08:33 +02:00
2023-05-03 20:09:10 +03:00