Sean Bowe
01872f7b91
Do not return the result from sub/equate routines, just return a.
2015-09-14 15:52:48 -06:00
Niko Matsakis
de6b3c282e
Transition to the new object lifetime defaults, replacing the old
...
defaults completely.
2015-07-14 19:36:15 -04:00
Niko Matsakis
909957793e
Add a boolean flag to ExistentialBounds tracking whether the
...
region-bound is expected to change in Rust 1.3, but don't use it for
anything in this commit. Note that this is not a "significant" part of
the type (it's not part of the formal model) so we have to normalize
this away or trans starts to get confused because two equal types wind
up with distinct LLVM types.
2015-07-03 19:42:35 -04:00
Eduard Burtescu
0b58fdf925
rustc: remove Repr and UserString.
2015-06-19 01:39:26 +03:00
Eduard Burtescu
a3727559c6
rustc: use the TLS type context in Repr and UserString.
2015-06-19 01:32:44 +03:00
Eli Friedman
3c69db4c3c
Cleanup: rename middle::ty::sty and its variants.
...
Use camel-case naming, and use names which actually make sense in modern Rust.
2015-06-12 11:07:16 -07:00
Niko Matsakis
8403b82ddb
Port over type inference to using the new type relation stuff
2015-03-31 09:51:18 -04:00
Niko Matsakis
0939837867
Rename the cryptic cres and ures types.
2015-03-31 09:51:17 -04:00
Richo Healey
cbce6bfbdb
cleanup: Remove unused braces in use statements
2015-03-28 02:23:20 -07:00
Niko Matsakis
0947f4076d
Move unsafety out of the subtyping relation and into coercion.
2015-03-17 17:29:07 -04:00
Niko Matsakis
1b0f0ad280
Extract out mts into combine using tys_with_variance
2015-03-17 15:57:30 -04:00
Niko Matsakis
5f5ed62298
Remove subtyping for object types and replace with an *upcast* coercion.
...
This upcast coercion currently preserves the vtable for the object, but
eventually it can be used to create a derived vtable. The upcast
coercion is not introduced into method dispatch; see comment on #18737
for information about why. Fixes #18737 .
2015-03-17 08:34:25 -04:00
Niko Matsakis
2594d56e32
Introduce the new phantomdata/phantomfn markers and integrate them
...
into variance inference; fix various bugs in variance inference
so that it considers the correct set of constraints; modify infer to
consider the results of variance inference for type arguments.
2015-02-18 10:24:55 -05:00
Eduard Burtescu
e0afa82c67
Remove every mention of "onceness".
2015-01-26 04:15:09 +02:00
Jorge Aparicio
56dcbd17fd
sed -i -s 's/\bmod,/self,/g' **/*.rs
2015-01-03 22:42:21 -05:00
Niko Matsakis
1205fd88df
Centralize on using Binder to introduce new binding levels, rather than having FnSig carry an implicit binding level. This means that we be more typesafe in general, since things that instantiate bound regions can drop the Binder to reflect that.
2014-12-19 03:29:30 -05:00
Niko Matsakis
3cf0fbeee9
Create distinct types for a PolyTraitRef (with bindings) and a normal TraitRef.
2014-12-19 03:29:30 -05:00
Niko Matsakis
092d04a40a
Rename FnStyle trait to Unsafety.
2014-12-14 11:11:55 -05:00
Niko Matsakis
db75f8aa91
Move infer out of middle::typeck and into just middle.
2014-12-04 10:04:51 -05:00
