summary refs log tree commit diff
path: root/src/librustc/middle/effect.rs
AgeCommit message (Expand)AuthorLines
2017-04-04remove `EffectCheck`Niko Matsakis-3/+0
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-2/+2
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-3/+3
2017-01-25rename `Tables` to `TypeckTables`Niko Matsakis-2/+2
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-6/+16
2016-12-28rustc: separate bodies for static/(associated)const and embedded constants.Eduard-Mihai Burtescu-1/+1
2016-11-29revamp `Visitor` with a single method for controlling nested visitsNiko Matsakis-3/+3
2016-11-29Split nested_visit_mode function off from nested_visit_mapFlorian Diebold-3/+3
2016-11-29rustc: replace body exprs by their idsFlorian Diebold-8/+12
2016-11-28rustc: use Span's allow_internal_unstable instead of hir::BlockCheckMode.Eduard Burtescu-1/+1
2016-11-28rustc: embed path resolutions into the HIR instead of keeping DefMap.Eduard-Mihai Burtescu-2/+2
2016-11-28rustc: desugar UFCS as much as possible during HIR lowering.Eduard Burtescu-1/+1
2016-11-16refactor Visitor into ItemLikeVisitor and intravisit::VisitorNiko Matsakis-1/+1
2016-11-10rustc: use an Expr instead of a Block for function bodies.Eduard Burtescu-1/+1
2016-11-02rustc: record the target type of every adjustment.Eduard Burtescu-3/+3
2016-11-02rustc: make all read access to tcx.tables go through a method.Eduard Burtescu-2/+2
2016-09-09Auto merge of #36331 - petrochenkov:tyadt, r=eddybbors-5/+9
2016-09-09Issue deprecation warnings for safe accesses to extern staticsVadim Petrochenkov-9/+31
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-5/+9
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-2/+2
2016-09-04Replace `_, _, _` with `..`Vadim Petrochenkov-2/+2
2016-09-03Make accesses to union fields unsafeVadim Petrochenkov-4/+20
2016-08-19Fix label messages for E0133Chiu-Hsiang Hsu-1/+1
2016-08-10Update E0133 to new formatChiu-Hsiang Hsu-3/+5
2016-07-29intravisit: Fold functionality of IdVisitor into the regular Visitor.Michael Woerister-2/+2
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-1/+1
2016-06-10Introduce TyCtxt::expect_def/expect_resolution helpers and use them where pos...Vadim Petrochenkov-1/+1
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-2/+2
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-2/+2
2016-04-06rustc: move middle::{def,def_id,pat_util} to hir.Eduard Burtescu-1/+1
2016-04-06rustc: move rustc_front to rustc::hir.Eduard Burtescu-3/+3
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-2/+2
2016-03-21Expose attached attributes to `FnKind` abstraction so that I can look at them...Felix S. Klock II-2/+2
2016-03-09Track fn type and lifetime parameters in TyFnDef.Eduard Burtescu-1/+1
2016-03-09Split TyBareFn into TyFnDef and TyFnPtr.Eli Friedman-1/+2
2016-03-03Rename middle::ty::ctxt to TyCtxtJeffrey Seyfried-3/+3
2016-02-05Instrument a bunch of tasks that employ the HIR map in one way orNiko Matsakis-0/+3
2016-01-20Rename Def's variants and don't reexport themVadim Petrochenkov-2/+2
2015-11-18Port a bunch of code new-visitor; all of these ports wereNiko Matsakis-6/+6
2015-10-09Fix stabilityNick Cameron-1/+1
2015-10-01use the *adjusted* callee type in effect checkingAriel Ben-Yehuda-2/+2
2015-09-03Add an intital HIR and lowering stepNick Cameron-19/+20
2015-08-26Rename FnKind variants and stop re-exporting them from the visit module.Ms2ger-4/+4
2015-07-23review feedback: Use checked-arith instead of saturated-arith for `push_unsaf...Felix S. Klock II-2/+2
2015-07-22Hack for "unsafety hygiene" -- `push_unsafe!` and `pop_unsafe!`.Felix S. Klock II-8/+29
2015-07-04Auto merge of #26694 - eddyb:method-nan, r=arielb1bors-1/+1
2015-07-04rustc: remove MethodOrigin and use the container to distinguish inherent meth...Eduard Burtescu-1/+1
2015-07-04Remove outdated errors for mutating stringsAriel Ben-Yehuda-26/+0
2015-06-27Begin refactor type checking stateJared Roesch-1/+1
2015-06-26rustc: switch most remaining middle::ty functions to methods.Eduard Burtescu-4/+4