about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Collapse)AuthorLines
2021-09-13Rollup merge of #88851 - fee1-dead:dup-bound, r=oli-obkGuillaume Gomez-2/+3
Fix duplicate bounds for const_trait_impl Fixes #88383. Compare the constness of the candidates before winnowing and removing a `~const` `BoundCandidate`.
2021-09-13Improve error message for type mismatch in generator argumentsFabian Wolff-14/+24
2021-09-12Rollup merge of #88709 - BoxyUwU:thir-abstract-const, r=lcnrManish Goregaokar-267/+176
generic_const_exprs: use thir for abstract consts instead of mir Changes `AbstractConst` building to use `thir` instead of `mir` so that there's less chance of consts unifying when they shouldn't because lowering to mir dropped information (see `abstract-consts-as-cast-5.rs` test) r? `@lcnr`
2021-09-11cleanup(rustc_trait_selection): remove vestigial code from ↵Michael Howell-3/+0
rustc_on_unimplemented This isn't allowed by the validator, and seems to be unused. When it was added in ed10a3faae1fd1176b2edf4a61438e0542c103b9, it was used on `Sized`, and that usage is gone.
2021-09-11Rollup merge of #88849 - matthiaskrgr:clony_on_copy, r=petrochenkovJubilee-8/+8
don't clone types that are Copy (clippy::clone_on_copy)
2021-09-11Auto merge of #88327 - bonega:scalar_refactor, r=eddybbors-2/+2
`WrappingRange` (#88242) follow-up (`is_full_for`, `Scalar: Copy`, etc.) Some changes related to feedback during #88242 r? `@RalfJung`
2021-09-11Fix duplicate bounds for const_trait_implDeadbeef-2/+3
2021-09-11don't clone types that are Copy (clippy::clone_on_copy)Matthias Krüger-8/+8
2021-09-10Rollup merge of #88578 - ↵Manish Goregaokar-4/+13
notriddle:notriddle/suggest-add-reference-to-for-loop-iter, r=nagisa fix(rustc): suggest `items` be borrowed in `for i in items[x..]` Fixes #87994
2021-09-09add test for builtin types N + N unifying with fn callEllen-3/+10
2021-09-09Make `abi::Abi` `Copy` and remove a *lot* of refsAndreas Liljeqvist-2/+2
fix fix Remove more refs and clones fix more fix
2021-09-09Use trait select logic instead of queryDeadbeef-18/+34
2021-09-09fmtDeadbeef-19/+18
2021-09-09Const drop selection candidatesDeadbeef-20/+138
2021-09-09fmtEllen-1/+3
2021-09-09resolve `from_hir_call` FIXMEEllen-1/+0
2021-09-09add a `CastKind` to `Node::Cast`Ellen-8/+11
2021-09-09nitsEllen-20/+19
2021-09-09remove commentEllen-1/+1
2021-09-09rename mir -> thir around abstract constsEllen-15/+15
2021-09-09remove debug stmtsEllen-2/+1
2021-09-09remove `WorkNode`Ellen-51/+10
2021-09-09handle `ExprKind::NeverToAny`Ellen-2/+1
2021-09-09dont build abstract const for monomorphic constsEllen-1/+30
2021-09-09tidyEllen-19/+17
2021-09-09dont support blocksEllen-42/+12
2021-09-09as casts and block exprsEllen-32/+54
2021-09-09WIP stateEllen-222/+145
2021-09-06Use index newtyping for TyVidMark Rousskov-2/+2
2021-09-05Add query `own_existential_vtable_entries`Gary Guo-45/+54
2021-09-05Stop allocating vtable entries for non-object-safe methodsGary Guo-8/+13
2021-09-04Add line that was unintentionally removedEthan Brierley-0/+1
2021-09-04Make fields on `AbstractConst` privateEthan Brierley-12/+12
2021-09-04Remove left over commentEthan Brierley-4/+1
2021-09-04Minor cleanup: make imports more consistentEthan Brierley-2/+1
2021-09-04`AbstractConst::root`: Always run `subst` when `Node` is `Leaf`Ethan Brierley-21/+22
2021-09-03Auto merge of #88618 - m-ou-se:rollup-6tss5z6, r=m-ou-sebors-30/+5
Rollup of 7 pull requests Successful merges: - #88202 (Add an example for deriving PartialOrd on enums) - #88483 (Fix LLVM libunwind build for non-musl targets) - #88507 (Add test case for using `slice::fill` with MaybeUninit) - #88557 (small const generics cleanup) - #88579 (remove redundant / misplaced sentence from docs) - #88610 (Update outdated docs of array::IntoIter::new.) - #88613 (Update primitive docs for rust 2021.) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2021-09-03Rollup merge of #88557 - lcnr:const-generics-cleanup, r=BoxyUwUMara Bos-30/+5
small const generics cleanup
2021-09-03Auto merge of #86454 - tlyu:refactor-unsized-suggestions, r=davidtwcobors-67/+112
Refactor unsized suggestions `@rustbot` label +A-diagnostics +A-traits +A-typesystem +C-cleanup +T-compiler
2021-09-02Report cycle error using 'deepest' obligation in the cycleAaron Hill-1/+3
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-49/+26
2021-09-01fix(rustc): suggest `items` be borrowed in `for i in items[x..]`Michael Howell-4/+13
Fixes #87994
2021-09-01cleanup const generics FIXMElcnr-30/+5
2021-08-30Enforce diverging let...elseCameron Steffen-4/+5
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-11/+11
:sparkles:
2021-08-27fmtDeadbeef-25/+30
2021-08-27Add `ty::BoundConstness`Deadbeef-22/+23
2021-08-26rebaselcnr-4/+12
2021-08-26reviewlcnr-6/+6
2021-08-26shrink `ty::PredicateKind` againlcnr-7/+7