Vadim Petrochenkov
|
f2b672d556
|
Refactor TyStruct/TyEnum/TyUnion into TyAdt
|
2016-09-08 22:17:53 +03:00 |
|
Vadim Petrochenkov
|
641d8e9e4c
|
Some better support for unions through the compiler
|
2016-09-03 13:39:34 +03:00 |
|
Eduard Burtescu
|
7a8d4822d8
|
rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.
|
2016-08-27 01:15:07 +03:00 |
|
Eduard Burtescu
|
dffd238f8b
|
rustc: pass ty::Region behind an interned 'tcx reference.
|
2016-08-27 01:15:06 +03:00 |
|
Eduard Burtescu
|
5222fa58a1
|
rustc: use accessors for Substs::{types,regions}.
|
2016-08-27 00:25:04 +03:00 |
|
Nick Cameron
|
c32456da8f
|
Fix type error with ? in existing code.
|
2016-08-22 09:31:26 +12:00 |
|
Eduard Burtescu
|
9453d9b8ad
|
rustc: remove ParamSpace from Substs.
|
2016-08-17 06:32:00 +03:00 |
|
Eduard Burtescu
|
4158673ad7
|
rustc: reduce Substs and Generics to a simple immutable API.
|
2016-08-17 05:50:57 +03:00 |
|
Eduard Burtescu
|
4b25f08512
|
rustc: move trait objects from TraitRef to ExistentialTraitRef.
|
2016-08-17 05:50:57 +03:00 |
|
Andrew Cann
|
fadabe08f5
|
Rename empty/bang to never
Split Ty::is_empty method into is_never and is_uninhabited
|
2016-08-13 21:37:09 +08:00 |
|
Andrew Cann
|
ed02344fbc
|
Remove obsolete divergence related stuff
Replace FnOutput with Ty
Replace FnConverging(ty) with ty
Purge FnDiverging, FunctionRetTy::NoReturn and FunctionRetTy::None
|
2016-08-13 21:37:09 +08:00 |
|
Andrew Cann
|
f31d9757f8
|
Fix super_relate_tys so that ! == !
|
2016-08-13 21:37:09 +08:00 |
|
Eduard Burtescu
|
ef11d4e3c7
|
rustc: add TyAnon (impl Trait) to the typesystem.
|
2016-08-12 06:43:34 +03:00 |
|
Eduard Burtescu
|
20652162ca
|
rustc: More interning for data used in Ty<'tcx>.
|
2016-05-11 04:14:58 +03:00 |
|
Eduard Burtescu
|
8f72d8127f
|
rustc: Generalize a minimum set of functions over 'tcx != 'gcx.
|
2016-05-11 04:14:58 +03:00 |
|
Eduard Burtescu
|
76affa5d6f
|
rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.
|
2016-05-11 04:14:58 +03:00 |
|
Eduard Burtescu
|
513d392f7e
|
rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.
|
2016-05-11 04:14:58 +03:00 |
|
Eduard Burtescu
|
ffca6c3e15
|
rustc: move middle::{def,def_id,pat_util} to hir.
|
2016-04-06 09:14:21 +03:00 |
|
Eduard Burtescu
|
8b0937293b
|
rustc: move rustc_front to rustc::hir.
|
2016-04-06 09:01:55 +03:00 |
|
Benjamin Herr
|
859b5a141c
|
librustc: replace tcx.sess.bug calls with bug!()
|
2016-03-31 22:04:23 +02:00 |
|
Masood Malekghassemi
|
8cd0f0cc3a
|
Refactor s.t. TypeRelation implementors don't escape InferCtxt
|
2016-03-28 22:10:26 -07:00 |
|
Eduard Burtescu
|
5efdde0de1
|
rustc: move cfg, infer, traits and ty from middle to top-level.
|
2016-03-27 01:05:54 +02:00 |
|