about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Collapse)AuthorLines
2020-09-18review, small cleanupBastian Kauschke-18/+21
2020-09-18document `const_evaluatable`Bastian Kauschke-3/+47
2020-09-18remove allow(warnings)Bastian Kauschke-2/+0
2020-09-18support const_evaluatable_checked across crate boundariesBastian Kauschke-1/+16
2020-09-18add function callsBastian Kauschke-0/+18
2020-09-18allow unary operations and ignore StorageLive/Dead stmtsBastian Kauschke-4/+23
2020-09-18use newtype_index for abstract_const::NodeIdBastian Kauschke-14/+10
2020-09-18refactor AbstractConstBuilderBastian Kauschke-58/+67
2020-09-18use abstract consts when unifying ConstKind::UnevaluatedBastian Kauschke-1/+41
2020-09-18initial working stateBastian Kauschke-12/+259
2020-09-16Rollup merge of #76756 - matthiaskrgr:cl123ppy, r=Dylan-DPCTyler Mandry-1/+1
fix a couple of stylistic clippy warnings namely: clippy::redundant_pattern_matching clippy::redundant_pattern clippy::search_is_some clippy::filter_next clippy::into_iter_on_ref clippy::clone_on_copy clippy::needless_return
2020-09-16Rollup merge of #76641 - nox:pointee-random-stuff, r=eddybRalf Jung-6/+1
Some cleanup changes and commenting r? @nikomatsakis Cc @eddyb
2020-09-16Rollup merge of #75304 - Aaron1011:feature/diag-deref-move-out, r=estebankDylan DPC-1/+8
Note when a a move/borrow error is caused by a deref coercion Fixes #73268 When a deref coercion occurs, we may end up with a move error if the base value has been partially moved out of. However, we do not indicate anywhere that a deref coercion is occuring, resulting in an error message with a confusing span. This PR adds an explicit note to move errors when a deref coercion is involved. We mention the name of the type that the deref-coercion resolved to, as well as the `Deref::Target` associated type being used.
2020-09-15fix a couple of stylistic clippy warningsMatthias Krüger-1/+1
namely: clippy::redundant_pattern_matching clippy::redundant_pattern clippy::search_is_some clippy::filter_next clippy::into_iter_on_ref clippy::clone_on_copy clippy::needless_return
2020-09-13Auto merge of #76244 - vandenheuvel:remove__paramenv__def_id, r=nikomatsakisbors-156/+39
Removing the `def_id` field from hot `ParamEnv` to make it smaller This PR addresses https://github.com/rust-lang/rust/issues/74865.
2020-09-12Clean up some language trait items comparisonsAnthony Ramine-6/+1
2020-09-10Note when a a move/borrow error is caused by a deref coercionAaron Hill-1/+8
Fixes #73268 When a deref coercion occurs, we may end up with a move error if the base value has been partially moved out of. However, we do not indicate anywhere that a deref coercion is occuring, resulting in an error message with a confusing span. This PR adds an explicit note to move errors when a deref coercion is involved. We mention the name of the type that the deref-coercion resolved to, as well as the `Deref::Target` associated type being used.
2020-09-10fix tidy, small cleanupBastian Kauschke-5/+1
2020-09-10implement `const_evaluatable_checked` feature MVPBastian Kauschke-15/+36
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-156/+39
2020-09-08add tracking issue, fix rebaseBastian Kauschke-0/+61
2020-09-08reviewBastian Kauschke-13/+11
2020-09-08make `ConstEvaluatable` more strictBastian Kauschke-17/+22
2020-09-04ty.flags -> ty.flags()LeSeulArtichaut-1/+1
2020-09-04Change ty.kind to a methodLeSeulArtichaut-73/+75
2020-09-03specialization_graph: avoid trimmed paths for OverlapErrorDan Aloni-2/+4
2020-09-02pretty: trim paths of unique symbolsDan Aloni-14/+20
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
2020-09-02Fix some unwanted uses of Debug formatting on user-facing messagesDan Aloni-2/+2
While formatting for user diagnostics used `Display` for all most cases, some small amount of cases used `Debug` instead. Until now, `Display` and `Debug` yielded the same output for many types. However, with path trimming, we want to show a shorter path for the user, these cases need fixing.
2020-08-30Remove error message in specific casekadmin-0/+5
In the case that a trait is not implemented for an ADT with type errors, cancel the error.
2020-08-30mv compiler to compiler/mark-0/+19278
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 10:32:51 +0000