about summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits/structural_match.rs
AgeCommit message (Collapse)AuthorLines
2020-08-30mv compiler to compiler/mark-281/+0
2020-08-24hir: consistent use and naming of lang itemsDavid Wood-3/+3
This commit adjusts the naming of various lang items so that they are consistent and don't include prefixes containing the target or "LangItem". In addition, lang item variants are no longer exported from the `lang_items` module. Signed-off-by: David Wood <david@davidtw.co>
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-1/+1
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-1/+1
2020-06-14structural_match: non-structural-match ty closuresDavid Wood-1/+6
This commit adds a `Closure` variant to `NonStructuralMatchTy` in `structural_match`, fixing an ICE which can occur when `impl_trait_in_bindings` is used with constants. Signed-off-by: David Wood <david@davidtw.co>
2020-06-12Make `type_marked_structural` privateDylan MacKenzie-1/+1
2020-06-12Helper method for whether type has structural equalityDylan MacKenzie-12/+20
This helper method works for all types, falling back to a query for `TyKind::Adt`s to determine whether the implement the `{Partial,}StructuralEq` traits.
2020-06-02remove assertBastian Kauschke-2/+1
2020-06-02normalize adt fields during structural match checkBastian Kauschke-1/+5
2020-05-20comment return sitesBastian Kauschke-7/+14
2020-05-20Be more conservative concerning `structural_match`Bastian Kauschke-21/+19
2020-05-20note for `ty::Error`.Bastian Kauschke-7/+14
2020-05-20exhaustively match during structural match checkingBastian Kauschke-2/+33
2020-05-15Remove lang_items\(\).*\.unwrap\(\)Nathan Corbyn-2/+3
2020-04-29forbid `dyn Trait` in const genericsBastian Kauschke-0/+5
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-1/+1
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-1/+1
2020-03-24Remove attribute `#[structural_match]` and any references to itVadim Petrochenkov-5/+5
2020-03-14Move rustc_infer::traits to new crate rustc_trait_selection.Camille GILLOT-0/+216