about summary refs log tree commit diff
path: root/src/librustc/traits/object_safety.rs
AgeCommit message (Expand)AuthorLines
2019-03-15rustc: rename item_path to def_path (except the module in ty).Eduard-Mihai Burtescu-1/+1
2019-03-05Handle const generics elsewherevarkor-1/+2
2019-02-27rename Substs to InternalSubstscsmoe-9/+13
2019-02-24hir: remove NodeId from Blockljedrz-1/+2
2019-02-10rustc: doc commentsAlexander Regueiro-19/+21
2019-02-05move librustc to 2018Mark Mansi-6/+6
2019-01-11Auto merge of #57355 - arielb1:correct-subst, r=nikomatsakisbors-9/+24
2019-01-05use the correct supertrait substitution in `object_ty_for_trait`Ariel Ben-Yehuda-9/+24
2019-01-05Rollup merge of #57229 - mikeyhew:fix-56806, r=varkorkennytm-5/+18
2019-01-04use `delay_span_bug` instead of `bug!` when doing layout sanity checkMichael Hewson-5/+18
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-16fix trait objects with a Self-having projection vaAriel Ben-Yehuda-1/+20
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-6/+6
2018-11-27Use sort_by_cached_key when key the function is not trivial/freeljedrz-1/+1
2018-11-17docs: Add missing backtick in object_safety.rs docsIgor Matuszewski-1/+1
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-2/+3
2018-11-01add `U: Trait` to the param env during DispatchFromDyn checkMichael Hewson-27/+40
2018-11-01Add layout sanity checks in object safetyMichael Hewson-0/+100
2018-11-01Replace UncoeribleReceiver error message with UndispatchableReceiverMichael Hewson-5/+5
2018-11-01Replace CoerceSized trait with DispatchFromDynMichael Hewson-30/+32
2018-11-01Implement the object-safety checks for arbitrary_self_types: part 1Michael Hewson-20/+144
2018-11-01Make all object-safety methods require a global TyCtxtMichael Hewson-1/+1
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-2/+2
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-22/+22
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-1/+1
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-1/+1
2018-07-26Improve a few vectors - calculate capacity or build from iteratorsljedrz-7/+4
2018-07-02use `ty::TraitRef::identity` where possibleNiko Matsakis-9/+4
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-2/+2
2018-06-25Make where clause object safety be a warn-by-default lintleonardo.yvens-3/+31
2018-06-25`Self` in where clauses may not be object safeleonardo.yvens-0/+11
2018-05-15Rename param_counts to own_countsvarkor-1/+1
2018-05-15Refactor to address commentsvarkor-2/+1
2018-05-15Use GenericParamCount instead of FxHashMapvarkor-2/+2
2018-05-15Generalise more cases of explicit iteration of specific kindsvarkor-2/+2
2018-05-15Prefer iterator to vecvarkor-1/+1
2018-05-15Consolidate ty::Genericsvarkor-1/+1
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-4/+4
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-2/+0
2017-12-17implement raw-pointer `self`. Works for traits, including trait objects, but ...Michael Hewson-3/+1
2017-11-08tidy things up a bitMichael Hewson-1/+3
2017-11-08move ExplicitSelf to rustc::ty::util, and use it to implement object safety c...Michael Hewson-1/+14
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-2/+4
2017-09-05rustc: Migrate lang items to a queryAlex Crichton-1/+1
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-1/+1
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-1/+1
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-19/+6
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-2/+1
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-1/+1