rust/tests/ui/const-generics/issues/issue-88119.stderr, branch masterhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=master2025-06-26T13:46:45+00:00Change const trait bound syntax from ~const to [const]2025-06-26T13:46:45+00:00Oli Scherergithub333195615777966@oli-obk.de2025-03-11T12:08:45+00:00urn:sha1:eb7245a864613f290c5668f4f4e8376edd065dc6normalizing where-clauses is also coinductive, add tests2025-02-28T11:16:47+00:00lcnrrust@lcnr.de2025-02-21T09:11:56+00:00urn:sha1:7eb677e7eb4d7f8235d43e1b01669557fca80487Manually walk into WF obligations in BestObligation proof tree visitor2025-01-31T18:21:58+00:00Michael Gouletmichael@errs.io2025-01-22T20:13:36+00:00urn:sha1:304b3cfcb298c6bd6f7644ec3c78f28dd72eba1cAdd derived causes for host effect predicates2025-01-06T17:49:46+00:00Michael Gouletmichael@errs.io2024-12-10T22:08:44+00:00urn:sha1:2be9ffc1afd0623ab0697cbaca5693b80c6d362cYeet effects feature2024-11-03T18:59:31+00:00Michael Gouletmichael@errs.io2024-10-30T18:03:44+00:00urn:sha1:0b5ddf30ebb097d0c46975cfb2a9ee9b04805af2Implement const effect predicate in new solver2024-10-24T09:46:36+00:00Michael Gouletmichael@errs.io2024-10-20T19:49:11+00:00urn:sha1:cde29b9ec9c49dfdebe06f7e97df4a322f27bd6aBan combination of GCE and new solver2024-09-24T14:53:32+00:00Michael Gouletmichael@errs.io2024-09-24T14:53:19+00:00urn:sha1:ead569a06de7d1cc6758b88b4f3faa00d1196c6dAdd `ConstArgKind::Path` and make `ConstArg` its own HIR node2024-07-17T02:27:28+00:00Noah Levcamelidcamel@gmail.com2024-07-17T02:07:36+00:00urn:sha1:37ed7a4438a24bcbe13986c82f193fd8e8d88221
This is a very large commit since a lot needs to be changed in order to
make the tests pass. The salient changes are:
- `ConstArgKind` gets a new `Path` variant, and all const params are now
represented using it. Non-param paths still use `ConstArgKind::Anon`
to prevent this change from getting too large, but they will soon use
the `Path` variant too.
- `ConstArg` gets a distinct `hir_id` field and its own variant in
`hir::Node`. This affected many parts of the compiler that expected
the parent of an `AnonConst` to be the containing context (e.g., an
array repeat expression). They have been changed to check the
"grandparent" where necessary.
- Some `ast::AnonConst`s now have their `DefId`s created in
rustc_ast_lowering rather than `DefCollector`. This is because in some
cases they will end up becoming a `ConstArgKind::Path` instead, which
has no `DefId`. We have to solve this in a hacky way where we guess
whether the `AnonConst` could end up as a path const since we can't
know for sure until after name resolution (`N` could refer to a free
const or a nullary struct). If it has no chance as being a const
param, then we create a `DefId` in `DefCollector` -- otherwise we
decide during ast_lowering. This will have to be updated once all path
consts use `ConstArgKind::Path`.
- We explicitly use `ConstArgHasType` for array lengths, rather than
implicitly relying on anon const type feeding -- this is due to the
addition of `ConstArgKind::Path`.
- Some tests have their outputs changed, but the changes are for the
most part minor (including removing duplicate or almost-duplicate
errors). One test now ICEs, but it is for an incomplete, unstable
feature and is now tracked at #127009.
Migrate tests to use `-Znext-solver`2024-06-30T17:08:45+00:00Deadbeefent3rm4n@gmail.com2024-06-30T17:08:45+00:00urn:sha1:daff015314b9ffeb2f65fa45659a1c3008149534