about summary refs log tree commit diff
path: root/src/librustc/middle
AgeCommit message (Collapse)AuthorLines
2018-03-14remove defaulting to unitAndrew Cann-1/+1
Types will no longer default to `()`, instead always defaulting to `!`. This disables the associated warning and removes the flag from TyTuple
2018-03-08Unregress error spans in constant errorsOliver Schneider-1/+1
2018-03-08Const eval error refactoringOliver Schneider-0/+7
2018-03-08Add stack traces to miri errorsOliver Schneider-13/+21
2018-03-08Remove unused error variants and const eval typesOliver Schneider-40/+2
2018-03-08Stop emitting `miri failed` in error messagesOliver Schneider-1/+1
2018-03-08Nuke ConstInt and Const*sizeOliver Schneider-14/+0
2018-03-08Rename ConstVal::to_u128 to to_raw_bitsOliver Schneider-3/+3
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-4/+4
2018-03-08Fully use miri in transOliver Schneider-2/+11
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-37/+1
2018-03-08Produce instead of pointersOliver Schneider-9/+34
2018-03-08Add miri errors to the const eval error enumOliver Schneider-0/+8
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-0/+3
2018-03-07Merge branch 'incr_attr_queries' of https://github.com/wesleywiser/rust into ↵Alex Crichton-8/+13
update-cargo
2018-03-07Merge branch 'metadata-send-sync' of https://github.com/Zoxc/rust into ↵Alex Crichton-4/+3
update-cargo
2018-03-06Remove the contains_extern_indicator queryWesley Wiser-1/+1
Part of #47320
2018-03-06Add `inline` to `TransFnAttrs`Wesley Wiser-7/+12
Part of #47320
2018-03-07Make metadata references Send + SyncJohn Kåre Alsaker-4/+3
2018-03-06Auto merge of #48768 - kennytm:rollup, r=kennytmbors-5/+1
Rollup of 14 pull requests - Successful merges: #48403, #48432, #48546, #48573, #48590, #48657, #48727, #48732, #48753, #48754, #48761, #48474, #48507, #47463 - Failed merges:
2018-03-06Rollup merge of #48754 - leodasvacas:while-let-all-the-things, r=rkruppekennytm-5/+1
while let all the things
2018-03-06Don't show crate metadata symbol as exported symbol to downstream crates.Michael Woerister-1/+7
2018-03-06Don't recompute SymbolExportLevel for upstream crates.Michael Woerister-2/+2
2018-03-06Compute symbol names more lazily.Michael Woerister-0/+53
2018-03-06Clean up handling of symbol export information.Michael Woerister-5/+2
2018-03-05while let all the thingsleonardo.yvens-5/+1
2018-03-05Turn features() into a query.Michael Woerister-8/+6
2018-03-02Run Rustfix on librustcManish Goregaokar-10/+10
2018-03-02Replace Rc with Lrc for shared dataJohn Kåre Alsaker-31/+32
2018-02-23Rollup merge of #48072 - cramertj:impl-trait-lifetime-res, r=nikomatsakisManish Goregaokar-11/+71
Fix nested impl trait lifetimes Fixes #46464 cc https://github.com/rust-lang/rust/issues/34511 r? @nikomatsakis
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
2018-02-12Auto merge of #47843 - estebank:teach, r=nikomatsakisbors-0/+4
Add `-Zteach` documentation Add extra inline documentation to E0019, E0016, E0013, E0396, E0017, E0018, E0010, E0022, E0030, E0029, E0033, E0026 and E0027. Follow up to #47652.
2018-02-09Auto merge of #47489 - pnkfelix:limit-2pb-issue-46747, r=nikomatsakisbors-1/+1
NLL: Limit two-phase borrows to autoref-introduced borrows This imposes a restriction on two-phase borrows so that it only applies to autoref-introduced borrows. The goal is to ensure that our initial deployment of two-phase borrows is very conservative. We want it to still cover the `v.push(v.len());` example, but we do not want it to cover cases like `let imm = &v; let mu = &mut v; mu.push(imm.len());` (Why do we want it to be conservative? Because when you are not conservative, then the results you get, at least with the current analysis, are tightly coupled to details of the MIR construction that we would rather remain invisible to the end user.) Fix #46747 I decided, for this PR, to add a debug-flag `-Z two-phase-beyond-autoref`, to re-enable the more general approach. But my intention here is *not* that we would eventually turn on that debugflag by default; the main reason I added it was that I thought it was useful for writing tests to be able to write source that looks like desugared MIR.
2018-02-08fix nested impl trait lifetimesTaylor Cramer-11/+71
2018-02-08Add `AutoBorrowMutability`; its like `hir::Mutability` but w/ two-phase ↵Felix S. Klock II-1/+1
borrow info too. Namely, the mutable borrows also carries a flag indicating whether they should support two-phase borrows. This allows us to thread down, from the point of the borrow's introduction, whether the particular adjustment that created it is one that yields two-phase mutable borrows.
2018-02-07Add `-Zteach` documentationEsteban Küber-0/+4
Add extra inline documentation to E0019, E0016, E0013, E0396, E0017, E0018, E0010, E0022, E0030, E0029, E0033, E0026 and E0027.
2018-02-07Rollup merge of #47922 - ↵Manish Goregaokar-14/+49
zackmdavis:and_the_case_of_the_unused_field_pattern, r=estebank correct unused field pattern suggestions ![unused_field_pattern_local](https://user-images.githubusercontent.com/1076988/35662336-7a69488a-06cc-11e8-9901-8d22b5cf924f.png) r? @estebank
2018-02-03Auto merge of #47845 - Zoxc:gen-fixes, r=nikomatsakisbors-2/+7
Generator bugfixes r? @nikomatsakis
2018-02-02add ellided lifetimedpc-3/+13
2018-01-31concerning well-formed suggestions for unused shorthand field patternsZack M. Davis-14/+49
Previously, unused variables would get a note that the warning could be silenced by prefixing the variable with an underscore, but that doesn't work for field shorthand patterns, which the liveness analysis didn't know about. The "to avoid this warning" verbiage seemed unnecessary. Resolves #47390.
2018-01-29Make `yield_in_scope_for_expr` work with patterns. Fixes #47758John Kåre Alsaker-0/+3
2018-01-29Make pattern visiting consistentJohn Kåre Alsaker-2/+4
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-48/+48
2018-01-29rustc: remove `LvaluePreference` argument from `Ty::builtin_deref`.Eduard-Mihai Burtescu-2/+2
2018-01-25Rollup merge of #47502 - petrochenkov:label, r=eddybAlex Crichton-1/+1
AST/HIR: Add a separate structure for labels
2018-01-25Rollup merge of #47691 - estebank:unknown-lang-item-sp, r=rkruppeGuillaume Gomez-9/+11
Point at unknown lang item attribute
2018-01-23Point at unknown lang item attributeEsteban Küber-9/+11
2018-01-23Adds support for immovable generators. Move checking of invalid borrows ↵John Kåre Alsaker-4/+84
across suspension points to borrowck. Fixes #44197, #45259 and #45093.
2018-01-22AST/HIR: Add a separate structure for labelsVadim Petrochenkov-1/+1
2018-01-15Reexport -> re-export in prose and documentation commentsCarol (Nichols || Goulding)-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 10:28:23 +0000