about summary refs log tree commit diff
path: root/src/librustc/ty/fold.rs
AgeCommit message (Collapse)AuthorLines
2019-04-28Fix lint findings in librustcflip1995-5/+5
2019-03-16Revert the `LazyConst` PROliver Scherer-10/+6
2019-03-05Add const type flagsvarkor-9/+10
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-12Auto merge of #58341 - alexreg:cosmetic-2-doc-comments, r=steveklabnikbors-22/+24
Cosmetic improvements to doc comments This has been factored out from https://github.com/rust-lang/rust/pull/58036 to only include changes to documentation comments (throughout the rustc codebase). r? @steveklabnik Once you're happy with this, maybe we could get it through with r=1, so it doesn't constantly get invalidated? (I'm not sure this will be an issue, but just in case...) Anyway, thanks for your advice so far!
2019-02-11Remove two dead functions.Nicholas Nethercote-25/+0
2019-02-10rustc: doc commentsAlexander Regueiro-22/+24
2019-02-05move librustc to 2018Mark Mansi-3/+3
2019-01-05Rollup merge of #57314 - wiktorkuchta:master, r=Centrilkennytm-1/+1
Fix repeated word typos Inspired by #57295 (I skipped 'be be' because of it) and my [PR in another repo ](https://github.com/e-maxx-eng/e-maxx-eng/pull/389) Not a stupid `sed`, I actually tried to fix case by case.
2019-01-04Update src/librustc/ty/fold.rsArtem Varaksa-1/+1
Co-Authored-By: wiktorkuchta <35867657+wiktorkuchta@users.noreply.github.com>
2019-01-03Fix repeated word typosWiktor Kuchta-1/+1
Found with `git grep -P '\b([a-z]+)\s+\1\b'`
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-5/+4
2018-12-27Fix replacement of escaping bound typesscalexm-5/+12
Multiple references to the same `BoundTy` were not using the same result.
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-12-01Rollup merge of #56214 - scalexm:unification, r=nikomatsakiskennytm-6/+38
Implement chalk unification routines `ResolventOps` and `AggregateOps` are mostly straightforwardly translated from chalk. I had caught a few bugs already in my `chalk` branch and backported fixes to this branch, but there may be other ones left. EDIT: I hope there are none left now :) Fixes #54935.
2018-11-29Add inline attributes and add unit to CommonTypesJohn Kåre Alsaker-0/+1
2018-11-29Implement `ResolventOps`scalexm-6/+38
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-11/+8
2018-11-24Add `HAS_TY_PLACEHOLDER` flagscalexm-1/+1
2018-11-24Rename some occurences of `skol` to `placeholder`scalexm-4/+4
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-2/+2
fix various typos in doc comments
2018-11-13fix various typos in doc commentsAndy Russell-2/+2
2018-11-13Instantiate all bound vars existentiallyscalexm-16/+14
2018-11-07Rollup merge of #55734 - teresy:shorthand-fields, r=davidtwcokennytm-1/+1
refactor: use shorthand fields refactor: use shorthand for single fields everywhere (excluding tests).
2018-11-06refactor: use shorthand fieldsteresy-1/+1
2018-11-03Fix doc commentscalexm-2/+2
2018-11-03Extend `ty::fold::RegionReplacer` to `ty::fold::BoundVarReplacer`scalexm-65/+135
Use the new `BoundVarReplacer` to perform canonical substitutions.
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-5/+9
2018-11-03Rename `BoundTy` field `level` -> `index`scalexm-2/+2
2018-11-03Shift both late bound regions and bound typesscalexm-45/+89
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-1/+1
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-3/+2
Cleanup rustc/ty part 2 The second part of cleanups and minor improvements for rustc/ty. - improve allocations - calculate span after a possible early continue - simplify some patterns - mark a comment as FIXME - whitespace fixes The PR is independent from from the first part.
2018-10-04rename skolemized to placeholderNiko Matsakis-6/+8
2018-10-03rustc/ty: simplify some patternsljedrz-3/+2
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-1/+1
This seemed like a good way to kick the tires on the elided-lifetimes-in-paths lint (#52069)—seems to work! This was also pretty tedious—it sure would be nice if `cargo fix` worked on this codebase (#53896)!
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-08-22Remove Ty prefix from ↵varkor-1/+1
Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closure|Generator|GeneratorWitness|Never|Tuple|Projection|Anon|Infer|Error}
2018-07-18Check lifetimes on existential typesOliver Schneider-3/+11
2018-07-07Auto merge of #52037 - lqd:skipping-regionless-types, r=nikomatsakisbors-0/+9
NLL Liveness: Skip regionless types when visiting free regions The tuple-stress benchmark exercises the liveness constraint generation code for types which do not have regions Closes #52027
2018-07-04NLL Liveness: Skip regionless types when visiting free regionsRémy Rakic-0/+9
The tuple-stress benchmark exercises the liveness constraint generation code for types which do not have regions
2018-07-03add "free region helpers"Niko Matsakis-14/+32
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-2/+2
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-25`Self` in where clauses may not be object safeleonardo.yvens-0/+14
This is virtually certain to cause regressions, needs crater. In #50781 it was discovered that our object safety rules are not sound because we allow `Self` in where clauses without restrain. This PR is a direct fix to the rules so that we disallow methods with unsound where clauses. This currently uses hard error to measure impact, but we will want to downgrade it to a future compat error. Fixes #50781. r? @nikomatsakis
2018-06-14Edit commentFabian Drinck-1/+1
2018-06-14Declare DebruijnIndex via newtype_index macroFabian Drinck-8/+8
2018-05-28remove use of depth from `TyS` and replace with a debruijn indexNiko Matsakis-13/+24
Co-authored-by: csmoe <35686186+csmoe@users.noreply.github.com>
2018-05-28convert `LateBoundRegionsCollector` to track a debruijn indexNiko Matsakis-6/+15
Co-authored-by: csmoe <35686186+csmoe@users.noreply.github.com>
2018-05-28replace use of DebruijnIndex in `for_each_free_region`Niko Matsakis-5/+25
Co-authored-by: csmoe <35686186+csmoe@users.noreply.github.com>
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 17:39:28 +0000