rust/src/test/ui/const-generics/generic_const_exprs, branch masterhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=master2023-01-11T09:32:08+00:00Move /src/test to /tests2023-01-11T09:32:08+00:00Albert Larsan74931857+albertlarsan68@users.noreply.github.com2023-01-05T08:13:28+00:00urn:sha1:cf2dff2b1e3fa55fa5415d524200070d0d7aacfeTweak wording of fn call with wrong number of args2023-01-05T03:02:10+00:00Esteban Küberesteban@kuber.com.ar2023-01-05T03:02:10+00:00urn:sha1:5393c6bbd172bb87b49033e755f538228b14440bRollup merge of #105994 - JohnTitor:issue-99647, r=compiler-errors2022-12-27T15:37:47+00:00Matthias Krügermatthias.krueger@famsik.de2022-12-27T15:37:47+00:00urn:sha1:d5b975cb7c227b5eec4a83c4651d1225f479c230
Add regression test for #99647
Closes #99647
r? `@compiler-errors`
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
Add regression test for #942932022-12-22T11:29:20+00:00Yuki Okushijtitor@2k36.org2022-12-22T11:29:20+00:00urn:sha1:34ae96868fcbdb2d2fa4a0b269fab94279c13e6b
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
Add regression test for #996472022-12-22T08:02:09+00:00Yuki Okushijtitor@2k36.org2022-12-21T12:13:55+00:00urn:sha1:ba8d7cd3e193983dbfee757a83532043c10d4529
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
Highlight conflicting param-env candidates, again2022-12-14T18:44:26+00:00Michael Gouletmichael@errs.io2022-11-15T23:11:11+00:00urn:sha1:34d194d41c8ffea79b8816a811b2fe626b1a6c39Rollup merge of #105611 - BoxyUwU:more_granular_placeholderification, r=wesleywiser2022-12-14T09:31:08+00:00Matthias Krügermatthias.krueger@famsik.de2022-12-14T09:31:08+00:00urn:sha1:01469693de40f8318766904278f3ad21f7a7db75
fold instead of obliterating args
Fixes #105608
we call `const_eval_resolve` on the following constant:
```
def: playground::{impl#0}::and::{constant#0},
substs: [
ConstKind::Unevaluated {
def: playground::{impl#0}::and::{constant#0},
substs: [
ConstKind::Value(0x0),
_,
]
}
_,
],
```
when expanded out to `ConstKind::Expr` there are no infer vars so we attempt to evaluate it after replacing infer vars with garbage, however the current logic for replacing with garbage replaces _the whole arg containing the infer var_ rather than just the infer var. This means that after garbage replacement has occured we attempt to evaluate:
```
def: playground::{impl#0}::and::{constant#0},
substs: [
PLACEHOLDER,
PLACEHOLDER,
],
```
Which then leads to ctfe being unable to evaluate the const. With this PR we attempt to evaluate:
```
def: playground::{impl#0}::and::{constant#0},
substs: [
ConstKind::Unevaluated {
def: playground::{impl#0}::and::{constant#0},
substs: [
ConstKind::Value(0x0),
PLACEHOLDER,
]
}
PLACEHOLDER,
],
```
which ctfe _can_ handle.
I am not entirely sure why this function is supposed to replace params with placeholders rather than just inference vars :thinking:
Rollup merge of #105523 - estebank:suggest-collect-vec, r=compiler-errors2022-12-14T09:31:07+00:00Matthias Krügermatthias.krueger@famsik.de2022-12-14T09:31:07+00:00urn:sha1:e5fde968dbbb87e5721ff5da91a49cab88b90b91
Suggest `collect`ing into `Vec<_>`
Fix #105510.
Mention implementations that satisfy the trait2022-12-13T18:39:44+00:00Esteban Küberesteban@kuber.com.ar2022-12-11T01:39:00+00:00urn:sha1:3e25bcb02093bad56beb1dff6be7dd0d80115fb1Make some diagnostics not depend on the source of what they reference being available2022-12-13T09:48:22+00:00Oli Scherergit-spam-no-reply9815368754983@oli-obk.de2022-12-09T15:56:23+00:00urn:sha1:cb26b35b12d810d7a8215869d9e434c4b0c7f25c