summary refs log tree commit diff
path: root/src/test/ui/const-generics/generic_const_exprs
AgeCommit message (Expand)AuthorLines
2022-12-09Auto merge of #104449 - oli-obk:unhide_unknown_spans, r=estebank,RalfJungbors-12/+18
2022-12-06normalize before matching on `ConstKind`Boxy-0/+12
2022-12-06Change CTFE backtraces to use `note` instead of `label` to preserve their orderOli Scherer-12/+18
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-4/+4
2022-12-05support `Expr` in `is_const_evaluatable` and `compute`Boxy-0/+42
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-1/+1
2022-11-25`super_relate_consts` do not spurriously fail on assoc constsBoxy-0/+20
2022-11-25handle assoc consts in fulfill `ConstEquate`Boxy-0/+27
2022-11-25handle nested obligations in `satisfied_from_param_env`Boxy-0/+43
2022-11-24Change how suggested lifetime args are computed.Camille GILLOT-1/+1
2022-11-01fix(generic_const_exprs): Fix predicate inheritance for children of opaque typesZhixing Zhang-0/+33
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-9/+11
2022-10-18Clean up query descriptionsnils-2/+2
2022-10-18`const_evaluatable_unchecked` to const evallcnr-9/+11
2022-10-07fix a ICE #102768Takayuki Maeda-0/+47
2022-10-04Normalize substs before resolving instance in NoopMethodCall lintMichael Goulet-0/+23
2022-10-01bless ui testsMaybe Waffle-10/+10
2022-09-22Bless test output changesFrank Steffahn-1/+1
2022-08-24Add test for #100414Michael Goulet-0/+44
2022-08-24Note binding obligation causes for const equate errorsMichael Goulet-0/+54
2022-08-24Call them constants instead of typesMichael Goulet-30/+30
2022-08-21Rework point-at-argMichael Goulet-8/+8
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-8/+8
2022-08-18Rollup merge of #100643 - TaKO8Ki:point-at-type-parameter-shadowing-another-t...Matthias Krüger-1/+3
2022-08-17point at a type parameter shadowing another typeTakayuki Maeda-1/+3
2022-08-12Erase regions better in promote_candidateMichael Goulet-0/+25
2022-08-11Auto merge of #100315 - compiler-errors:norm-ct-in-proj, r=lcnrbors-0/+279
2022-08-09Keep going if normalized projection has unevaluated consts in QueryNormalizerMichael Goulet-0/+279
2022-08-03Warn about dead tuple struct fieldsFabian Wolff-1/+1
2022-07-25handle consts with param/infer in const_eval_resolve betterMichael Goulet-43/+2
2022-07-19feat: omit suffixes in const generics (e.g. `1_i32`)Artur Sinila-28/+31
2022-07-14Rollup merge of #99222 - atsuzaki:generic_const_err, r=lcnrDylan DPC-4/+7
2022-07-13Update testsKatherine Philip-4/+7
2022-07-12add regression test for #74713Takayuki Maeda-0/+30
2022-07-07Track implicit `Sized` obligations in type paramsEsteban Küber-2/+2
2022-07-02Rollup merge of #98715 - matthiaskrgr:test_97047, r=Mark-SimulacrumRalf Jung-0/+86
2022-07-01Auto merge of #98781 - GuillaumeGomez:rollup-798kb8u, r=GuillaumeGomezbors-6/+6
2022-07-01Don't point at Self type if we can't find an infer variable in ambiguous trai...Michael Goulet-6/+6
2022-07-01Shorten def_span for more items.Camille GILLOT-1/+1
2022-06-30add ice test for #97047Matthias Krüger-0/+86
2022-06-22point to type param definition when not finding variant, method and assoc typeTakayuki Maeda-13/+7
2022-06-02add new `emit_inference_failure_err`lcnr-2/+7
2022-06-01Mention filename in suggestion when it differs from primary spanEsteban Küber-0/+1
2022-05-17Add tests for lint on type dependent on constskadmin-0/+111
2022-05-13Check that closures satisfy their where boundsOli Scherer-7/+20
2022-05-11Gracefully fail to resolve associated items instead of `delay_span_bug`.Camille GILLOT-4/+15
2022-04-16Implementation for 65853Jack Huey-8/+15
2022-04-05Rollup merge of #95654 - notriddle:notriddle/issue-95616, r=davidtwcoDylan DPC-1/+1
2022-04-04Fix #90970, doesn't address #87437Esteban Kuber-0/+1
2022-04-04diagnostics: use correct span for const genericsMichael Howell-1/+1