summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/print
AgeCommit message (Expand)AuthorLines
2022-02-19Rollup merge of #93990 - lcnr:pre-89862-cleanup, r=estebankMatthias Krüger-7/+24
2022-02-16Rollup merge of #94037 - tmiasko:verbose, r=Mark-SimulacrumMatthias Krüger-5/+0
2022-02-16allow special behavior when printing const inferlcnr-7/+24
2022-02-16Fix inconsistent symbol mangling with -ZverboseTomasz Miąsko-5/+0
2022-02-16Support pretty printing of invalid constantsTomasz Miąsko-4/+12
2022-02-15Overhaul `Const`.Nicholas Nethercote-22/+25
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-26/+28
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-13/+18
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-17/+11
2022-02-07Print opaque types from type aliases via their pathOli Scherer-19/+15
2022-02-03Improve self-referential diagnostic somewhatOli Scherer-12/+19
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+3
2022-01-26Rollup merge of #92256 - fee1-dead:improve-selection-err, r=oli-obkMatthias Krüger-2/+41
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-2/+41
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-2/+2
2022-01-17Add term to ExistentialProjectionkadmin-18/+20
2022-01-17Update w/ commentskadmin-1/+7
2022-01-17Update term for use in more placeskadmin-9/+15
2022-01-17Use Term in ProjectionPredicatekadmin-1/+8
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-30/+23
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-4/+2
2022-01-15Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakisMatthias Krüger-4/+10
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-2/+2
2022-01-15initial revertEllen-31/+24
2022-01-11Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`Aaron Hill-1/+1
2022-01-09rustc_metadata: Rename `item_children(_untracked)` to `module_children(_untra...Vadim Petrochenkov-2/+2
2022-01-09rustc_metadata: Optimize and document module children decodingVadim Petrochenkov-1/+3
2021-12-22When obligation is a sized predicate, prefer projection or object candidates ...Jack Huey-4/+10
2021-12-20Bail if printing item named `_` in `try_print_visible_def_path`Michael Goulet-16/+28
2021-12-19Auto merge of #92099 - matthiaskrgr:rollup-4gwv67m, r=matthiaskrgrbors-13/+14
2021-12-19Rollup merge of #91984 - Aaron1011:rustc-middle-lifetime, r=oli-obkMatthias Krüger-13/+14
2021-12-19Auto merge of #91957 - nnethercote:rm-SymbolStr, r=oli-obkbors-1/+1
2021-12-18hir: Do not introduce dummy type names for `extern` blocks in def pathsVadim Petrochenkov-16/+12
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-13/+14
2021-12-15Remove unnecessary sigils around `Symbol::as_str()` calls.Nicholas Nethercote-1/+1
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-8/+8
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+1
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-7/+7
2021-11-23Fix printing unit return ty, don't elaborate FnOnce unless we see itMichael Goulet-7/+16
2021-11-23Suppress noisy generator associated typeMichael Goulet-4/+14
2021-11-23Elaborate trait generics and associated typesMichael Goulet-74/+210
2021-11-20Add space in opaque `impl Trait`Michael Goulet-3/+3
2021-11-18Print output ty for opaque future tyMichael Goulet-11/+55
2021-11-09Add `ty::Visibility::is_public()`inquisitivecrystal-1/+1
2021-10-18Normalize obligations for closure confirmationjackh726-0/+1
2021-10-10ty::pretty: prevent infinite recursion for `extern crate` paths.Eduard-Mihai Burtescu-1/+8
2021-10-10ty::pretty: document "dummy Span extern crate" special-case in `try_print_vis...Eduard-Mihai Burtescu-10/+11
2021-10-08Auto merge of #89619 - michaelwoerister:incr-vtables, r=nagisabors-0/+1
2021-10-07Turn tcx.vtable_allocation() into a query.Michael Woerister-0/+1
2021-10-06Auto merge of #89323 - estebank:derive-binop, r=petrochenkovbors-0/+21