about summary refs log tree commit diff
path: root/src/test/ui
AgeCommit message (Collapse)AuthorLines
2022-09-10Auto merge of #101483 - oli-obk:guaranteed_opt, r=fee1-deadbors-31/+19
The `<*const T>::guaranteed_*` methods now return an option for the unknown case cc https://github.com/rust-lang/rust/issues/53020#issuecomment-1236932443 I chose `0` for "not equal" and `1` for "equal" and left `2` for the unknown case so backends can just forward to raw pointer equality and it works ✨ r? `@fee1-dead` or `@lcnr` cc `@rust-lang/wg-const-eval`
2022-09-10Auto merge of #101639 - matthiaskrgr:rollup-sewkrgm, r=matthiaskrgrbors-1/+1
Rollup of 6 pull requests Successful merges: - #101413 (Use RelocModel::Pic for UEFI targets) - #101595 (Fix ICE report flags display.) - #101616 (Adapt test for msan message change) - #101624 (rustdoc: remove unused CSS `#search { position: relative }`) - #101633 (Rustdoc-Json: Correcty handle intra-doc-links to items without HTML page) - #101634 (Rustdoc-Json Tests: Use ``@is`` and ``@ismany`` more often.) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2022-09-10Rollup merge of #101616 - TimNN:relax-msan, r=lqdMatthias Krüger-1/+1
Adapt test for msan message change Similar to rust-lang/rust#100445, this adapts the new test added by rust-lang/rust#99207 to some relatively recent [LLVM changes](https://github.com/llvm/llvm-project/commit/057cabd997aeaef136e1e14f2ee645bd5bb197dd) that removed the function name from msan messages. Found via our experimental rust + llvm @ HEAD bot: https://buildkite.com/llvm-project/rust-llvm-integrate-prototype/builds/13347#018321b2-0cc3-4c91-b4db-774477e8b074 `@rustbot` label +llvm-main
2022-09-10Auto merge of #99916 - dpaoliello:stablizerawdylib, r=wesleywiserbors-216/+65
Stabilize raw-dylib for non-x86 This stabilizes the `raw-dylib` and `link_ordinal` features (#58713) for non-x86 architectures (i.e., `x86_64`, `aarch64` and `thumbv7a`): * Marked the `raw_dylib` feature as `active`. * Marked the `link_ordinal` attribute as `ungated`. * Added new errors if either feature is used on x86 targets without the `raw_dylib` feature being enabled. * Updated tests to only set the `raw_dylib` feature when building for x86.
2022-09-10split compare_predicate_entailment and collect_trait_impl_trait_tys outMichael Goulet-10/+5
2022-09-09Stabilze raw-dylib for non-x86Daniel Paoliello-216/+65
2022-09-09Be careful about expr_ty_adjusted when noting block tail typeMichael Goulet-1/+40
2022-09-09Rollup merge of #101612 - tmiasko:repeat128, r=lcnrDylan DPC-0/+14
Fix code generation of `Rvalue::Repeat` with 128 bit values Closes #101585.
2022-09-09Rollup merge of #101573 - lcnr:param-kind-ord, r=BoxyUwUDylan DPC-119/+103
update `ParamKindOrd` https://github.com/rust-lang/rust/pull/90207#discussion_r767160854 :grin: writing comments "for future prs" sure works well :3 r? `@BoxyUwU`
2022-09-09Rollup merge of #101492 - ↵Dylan DPC-5/+89
TaKO8Ki:suggest-adding-array-length-to-ref-to-array, r=oli-obk Suggest adding array lengths to references to arrays if possible ref: https://github.com/rust-lang/rust/pull/100590#pullrequestreview-1096851146
2022-09-09relax msan error-pattern due to LLVM changesTim Neumann-1/+1
2022-09-09The `<*const T>::guaranteed_*` methods now return an option for the unknown caseOli Scherer-31/+19
2022-09-09Introduce a fallible variant of LLVMConstIntGetZExtValueTomasz Miąsko-0/+14
which verifies that a constant bit width is within 64 bits or fails.
2022-09-09reviewlcnr-41/+41
2022-09-09rename `codegen_fulfill_obligation`lcnr-2/+2
2022-09-09Auto merge of #101603 - matthiaskrgr:rollup-8y6kf20, r=matthiaskrgrbors-41/+82
Rollup of 6 pull requests Successful merges: - #99207 (Enable eager checks for memory sanitizer) - #101253 (fix the suggestion of format for asm_sub_register) - #101450 (Add `const_extern_fn` to 1.62 release notes.) - #101556 (Tweak future opaque ty pretty printing) - #101563 (Link UEFI target documentation from target list) - #101593 (Cleanup themes (tooltip)) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2022-09-09Rollup merge of #101556 - compiler-errors:tweak-generator-print, r=jackh726Matthias Krüger-1/+1
Tweak future opaque ty pretty printing 1. The `Return` type of a generator doesn't need to be a lang item just for diagnostic printing of types 2. We shouldn't suppress the `Output = Ty` of a opaque future if the type is a int or float var.
2022-09-09Rollup merge of #101253 - lyming2007:issue-101163, r=AmanieuMatthias Krüger-36/+36
fix the suggestion of format for asm_sub_register modified: compiler/rustc_typeck/src/check/intrinsicck.rs modified: src/test/ui/asm/bad-template.aarch64_mirunsafeck.stderr modified: src/test/ui/asm/bad-template.aarch64_thirunsafeck.stderr modified: src/test/ui/asm/bad-template.x86_64_mirunsafeck.stderr modified: src/test/ui/asm/bad-template.x86_64_thirunsafeck.stderr modified: src/test/ui/asm/type-check-1.rs modified: src/test/ui/asm/type-check-1.stderr modified: src/test/ui/asm/x86_64/type-check-3.stderr
2022-09-09Rollup merge of #99207 - 5225225:msan-eager-checks, r=jackh726Matthias Krüger-4/+45
Enable eager checks for memory sanitizer Fixes #99179
2022-09-09fix #101097, avoid infinite loop in fn arguments checkingchenyukang-4/+185
2022-09-09Adjust pretty printing of RPITITsMichael Goulet-10/+10
2022-09-09Tweak feature error, add testMichael Goulet-1/+28
2022-09-09Handle generic parameters.Camille GILLOT-4/+32
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-0/+83
2022-09-09Bless tests, fix ICE with ImplTraitPlaceholderMichael Goulet-176/+218
2022-09-09Add testsMichael Goulet-0/+140
2022-09-08Remove ReEmptyJack Huey-3/+3
2022-09-08Auto merge of #101577 - Dylan-DPC:rollup-l9xw7i7, r=Dylan-DPCbors-20/+229
Rollup of 7 pull requests Successful merges: - #98933 (Opaque types' generic params do not imply anything about their hidden type's lifetimes) - #101041 (translations(rustc_session): migrates rustc_session to use SessionDiagnostic - Pt. 2) - #101424 (Adjust and slightly generalize operator error suggestion) - #101496 (Allow lower_lifetime_binder receive a closure) - #101501 (Allow lint passes to be bound by `TyCtxt`) - #101515 (Recover from typo where == is used in place of =) - #101545 (Remove unnecessary `PartialOrd` and `Ord`) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2022-09-08Avoid infinite loop in function arguments checkingyukang-0/+133
2022-09-08Rollup merge of #101515 - chenyukang:fix-101477, r=fee1-deadDylan DPC-0/+54
Recover from typo where == is used in place of = Fixes #101477
2022-09-08Rollup merge of #101424 - compiler-errors:operator-err-sugg, r=TaKO8KiDylan DPC-13/+51
Adjust and slightly generalize operator error suggestion (in no particular order) * Stop passing around a whole extra `ProjectionPredicate` * Add spaces around `=` in `Trait<..., Output = Ty>` suggestion * Some code clean-ups, including * add `lang_item_for_op` to turn a `Op` into a `DefId` * avoid `SourceMap` because we don't really need to render an expr * Remove `TypeParamVisitor` in favor of just checking `ty.has_param_types_or_consts` -- this acts a bit differently, but shouldn't cause erroneous suggestions (actually might generalize them a bit) * We now suggest `Output = Ty` in the `where` clause suggestion when we fail to add `Struct<T>` and `T`. I can split this out into more PRs if needed, but they're all just miscellaneous generalizations, changes, and nitpicks I saw when messing with this operator code.
2022-09-08Rollup merge of #98933 - oli-obk:opaque_type_late_bound_lifetimes, r=lcnrDylan DPC-7/+124
Opaque types' generic params do not imply anything about their hidden type's lifetimes fixes #97104 cc ```@aliemjay```
2022-09-08merge testslcnr-88/+72
2022-09-08update ui testslcnr-41/+41
2022-09-08Auto merge of #101467 - nnethercote:shrink-hir-Ty-Pat, r=spastorinobors-38/+39
Shrink `hir::Ty` and `hir::Pat` r? `@ghost`
2022-09-08fix the suggestion of format for asm_sub_registerYiming Lei-36/+36
modified: compiler/rustc_typeck/src/check/intrinsicck.rs modified: src/test/ui/asm/bad-template.aarch64_mirunsafeck.stderr modified: src/test/ui/asm/bad-template.aarch64_thirunsafeck.stderr modified: src/test/ui/asm/bad-template.x86_64_mirunsafeck.stderr modified: src/test/ui/asm/bad-template.x86_64_thirunsafeck.stderr modified: src/test/ui/asm/type-check-1.rs modified: src/test/ui/asm/type-check-1.stderr modified: src/test/ui/asm/x86_64/type-check-3.stderr
2022-09-08Auto merge of #98900 - lcnr:region-stuff, r=jackh726bors-45/+7
const_generics: correctly deal with bound variables removes the hack in `resolve` which was needed because we evaluated constants without caring about their bound variables. Each commit should be fairly self-contained, even if they build on each other r? `@jackh726`
2022-09-08stop evaluating constants in `Relate`lcnr-45/+7
2022-09-08Clarify some diagnostic messagesOli Scherer-11/+20
2022-09-08Uncomment unsound code exampleOli Scherer-2/+2
2022-09-08Opaque types' generic params do not imply anything about their hidden type's ↵Oli Scherer-4/+112
lifetimes
2022-09-08fixes #101477: Recover from typo where == is used in place of =yukang-0/+54
2022-09-08Rollup merge of #101399 - cjgillot:borrowck-binding-span, r=estebankDylan DPC-222/+171
Shrink span for bindings with subpatterns. Bindings with nested patterns (`binding @ pat` syntax) currently point to the full pattern. This PR proposes to shrink the span to stop before the ````@`.``` This makes the diagnostics for move/mutability conflicts clearer, as they not point to the `binding` only, instead of the full pat. r? ```@estebank```
2022-09-08Introduce `DotDotPos`.Nicholas Nethercote-12/+12
This shrinks `hir::Pat` from 88 to 72 bytes.
2022-09-08Arena-allocate `hir::Lifetime`.Nicholas Nethercote-34/+35
This shrinks `hir::Ty` from 72 to 48 bytes. `visit_lifetime` is added to the HIR stats collector because these types are now stored in memory on their own, instead of being within other types.
2022-09-08We can print futures with {integer} tooMichael Goulet-1/+1
2022-09-08Adjust spacing in suggestion, add a testMichael Goulet-8/+46
2022-09-08Add associated item binding to non-param-ty where clause suggestionsMichael Goulet-2/+2
2022-09-08Avoid source-map call in operator errorMichael Goulet-5/+5
2022-09-07Auto merge of #94075 - mikebenfield:wip-enum, r=oli-obkbors-25/+105
Use niche-filling optimization even when multiple variants have data. Fixes #46213