about summary refs log tree commit diff
path: root/src/librustc/ty
AgeCommit message (Collapse)AuthorLines
2019-03-15rustc: don't pass Namespace explicitly, but rather track it in FmtPrinter.Eduard-Mihai Burtescu-56/+67
2019-03-15rustc: introduce a ty::print::PrettyPrinter helper for printing "<...>".Eduard-Mihai Burtescu-72/+109
2019-03-15rustc: support overriding type printing in ty::print::Printer.Eduard-Mihai Burtescu-3/+25
2019-03-15rustc: support overriding region printing in ty::print::Printer.Eduard-Mihai Burtescu-10/+164
2019-03-15rustc: centralize region printing in ty::RegionKind's Print impl.Eduard-Mihai Burtescu-11/+11
2019-03-15rustc: don't keep RegionHighlightMode in a thread-local.Eduard-Mihai Burtescu-0/+106
2019-03-15rustc: pass ty::print::PrintCx by value.Eduard-Mihai Burtescu-135/+252
2019-03-15rustc: remove the closure from ppaux's p! macro (by making ? implicit).Eduard-Mihai Burtescu-4/+4
2019-03-15rustc: split off most of ty::print::PrintCx's fields into a separate struct.Eduard-Mihai Burtescu-26/+43
2019-03-15rustc: uniformize ty::print's error handling by requiring Result.Eduard-Mihai Burtescu-50/+60
2019-03-15rustc: replace node_path_str with uses of def_path_str.Eduard-Mihai Burtescu-7/+0
2019-03-15rustc: remove `ty::print::FORCE_ABSOLUTE` altogether.Eduard-Mihai Burtescu-38/+1
2019-03-15rustc: assert `ty::print::FORCE_ABSOLUTE` isn't needed anymore.Eduard-Mihai Burtescu-9/+5
2019-03-15rustc: move `...::<impl ...>` printing into `pretty_path_qualified`.Eduard-Mihai Burtescu-13/+26
2019-03-15rustc: move the `FORCE_IMPL_FILENAME_LINE` hack into `print_def_path`.Eduard-Mihai Burtescu-41/+42
2019-03-15rustc: move <...>-less impl path special-case to pretty_path_qualified.Eduard-Mihai Burtescu-37/+28
2019-03-15rustc: merge PrintCx::parameterized and def_path printing.Eduard-Mihai Burtescu-95/+234
2019-03-15rustc: integrate LocalPathPrinter's behavior into FmtPrinter.Eduard-Mihai Burtescu-18/+49
2019-03-15rustc: move the contents of ty::item_path to ty::print.Eduard-Mihai Burtescu-565/+561
2019-03-15rustc: rename item_path to def_path (except the module in ty).Eduard-Mihai Burtescu-58/+58
2019-03-15rustc: remove TyCtxt::parent_def_id in favor of TyCtxt::parent.Eduard-Mihai Burtescu-24/+14
2019-03-15rustc_mir: adjust the type_length_limit diagnostic to be more useful.Eduard-Mihai Burtescu-8/+8
2019-03-15rustc: pass Option<&Substs> and Namespace around in ty::item_path.Eduard-Mihai Burtescu-34/+103
2019-03-15rustc: move the FORCE_IMPL_FILENAME_LINE handling into LocalPathPrinter.Eduard-Mihai Burtescu-26/+26
2019-03-15rustc: explicitly pass the namespace to PrintCx::parameterized.Eduard-Mihai Burtescu-1/+2
2019-03-15rustc: move the formatter into ty::print::PrintCx.Eduard-Mihai Burtescu-78/+96
2019-03-15rustc: add a ty::RegionKind::display_outputs_anything method to avoid ↵Eduard-Mihai Burtescu-15/+0
printing to a string.
2019-03-15rustc: always rely on '_ to be not printed by ty::Region itself.Eduard-Mihai Burtescu-0/+1
2019-03-15rustc: remove ty::item_path::RootMode by moving local logic into the printer.Eduard-Mihai Burtescu-325/+244
2019-03-15rustc: rewrite ty::item_path to be more functional than mutation-oriented.Eduard-Mihai Burtescu-106/+130
2019-03-15rustc: rewrite PrintCx::parameterized to be much simpler and more general.Eduard-Mihai Burtescu-3/+1
2019-03-15rustc: use define_print! to implement fmt::{Display,Debug} for Kind.Eduard-Mihai Burtescu-19/+0
2019-03-15rustc: tie the 'tcx between Print and PrintCx in ty::print.Eduard-Mihai Burtescu-13/+49
2019-03-15rustc: remove fmt::{Debug,Display} from ty::TyKind.Eduard-Mihai Burtescu-7/+6
2019-03-15rustc: keep a TyCtxt in PrintCx and use it instead of ty::tls.Eduard-Mihai Burtescu-18/+17
2019-03-15rustc: rename PrintContext to PrintCx.Eduard-Mihai Burtescu-9/+9
2019-03-15rustc: don't support missing TLS TyCtxt in ty::print.Eduard-Mihai Burtescu-4/+3
2019-03-15rustc: add a 'tcx parameter to Print.Eduard-Mihai Burtescu-1/+1
2019-03-15rustc: start moving util::ppaux to ty::print.Eduard-Mihai Burtescu-0/+92
2019-03-15rustc: remove unnecessary extern_prelude logic from ty::item_path.Eduard-Mihai Burtescu-62/+45
2019-03-14Auto merge of #58176 - Zoxc:lint-levels, r=oli-obkbors-23/+37
Only insert nodes which changes lint levels in the LintLevelMap r? @eddyb
2019-03-13Auto merge of #56864 - Zoxc:stable-hash-macro, r=michaelwoeristerbors-63/+102
Use derive macro for HashStable Blocked on https://github.com/rust-lang/rust/pull/56795
2019-03-13Rollup merge of #59132 - nikomatsakis:issue-53548-generator-bound, r=pnkfelixMazdak Farrokhzad-2/+1
ignore higher-ranked object bound conditions created by WF In the `issue-53548` test added in this PR, the `Box<dyn Trait>` type is expanded to `Box<dyn Trait + 'static>`, but the generator "witness" that results is `for<'r> { Box<dyn Trait + 'r> }`. The WF code was encountering an ICE (when debug-assertions were enabled) and an unexpected compilation error (without debug-asserions) when trying to process this `'r` region bound. In particular, to be WF, the region bound must meet the requirements of the trait, and hence we got `for<'r> { 'r: 'static }`. This would ICE because the `Binder` constructor we were using was assering that no higher-ranked regions were involved (because the WF code is supposed to skip those). The error (if debug-asserions were disabled) came because we obviously cannot prove that `'r: 'static` for any region `'r`. Pursuant with our "lazy WF" strategy for higher-ranked regions, the fix is not to require that `for<'r> { 'r: 'static }` holds (this is also analogous to what we would do for higher-ranked regions appearing within the trait in other positions). Fixes #53548 r? @pnkfelix
2019-03-13Use derive macro for HashStableJohn Kåre Alsaker-63/+102
2019-03-12ignore higher-ranked WF requirements for trait objectsNiko Matsakis-2/+1
In the `issue-53548` test added in this commit, the `Box<dyn Trait>` type is expanded to `Box<dyn Trait + 'static>`, but the generator "witness" that results is `for<'r> { Box<dyn Trait + 'r> }`. The WF code was encountering an ICE (when debug-assertions were enabled) and an unexpected compilation error (without debug-asserions) when trying to process this `'r` region bound. In particular, to be WF, the region bound must meet the requirements of the trait, and hence we got `for<'r> { 'r: 'static }`. This would ICE because the `Binder` constructor we were using was assering that no higher-ranked regions were involved (because the WF code is supposed to skip those). The error (if debug-asserions were disabled) came because we obviously cannot prove that `'r: 'static` for any region `'r`. Pursuant with our "lazy WF" strategy for higher-ranked regions, the fix is not to require that `for<'r> { 'r: 'static }` holds (this is also analogous to what we would do for higher-ranked regions appearing within the trait in other positions).
2019-03-11Remove precompute_in_scope_traits_hashesJohn Kåre Alsaker-10/+0
2019-03-10hir: replace NodeId with HirId in trait_implsljedrz-2/+2
2019-03-10Make the rustc driver and interface demand drivenJohn Kåre Alsaker-51/+38
2019-03-09Rollup merge of #58679 - Zoxc:passes-refactor, r=michaelwoeristerMazdak Farrokhzad-1/+9
Refactor passes and pass execution to be more parallel For `syntex_syntax` (with 16 threads and 8 cores): - Cuts `misc checking 1` from `0.096s` to `0.08325s`. - Cuts `misc checking 2` from `0.3575s` to `0.2545s`. - Cuts `misc checking 3` from `0.34625s` to `0.21375s`. - Cuts `wf checking` from `0.3085s` to `0.05025s`. Reduces overall execution time for `syntex_syntax` (with 8 threads and cores) from `4.92s` to `4.34s`. Subsumes https://github.com/rust-lang/rust/pull/58494 Blocked on https://github.com/rust-lang/rust/pull/58250 r? @michaelwoerister
2019-03-09Rollup merge of #58670 - saleemjaffer:refactor_typecast_check_kinds, r=oli-obkMazdak Farrokhzad-17/+17
fixes rust-lang#52482
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 14:54:38 +0000