mrust - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2016-07-10	HIR Typecheck - Use Deref impl in autoderef	John Hodge	1	-2/+2

2016-07-10	HIR Typecheck CS - Fix autoderef picking non-methods	John Hodge	2	-29/+45

2016-07-10	HIR Typecheck CS - Mark result of a field access as unknown	John Hodge	1	-0/+3

2016-07-10	HIR Typecheck CS - Functions don't coerce	John Hodge	1	-6/+6

2016-07-10	HIR Typecheck CS - Only fire missing impl error when the types are fully known	John Hodge	1	-3/+7

2016-07-10	HIR Typecheck CS - Hack around cases where an ivar is known to be either ↵	John Hodge	1	-2/+45
	`&[T]` or `&[_]`
2016-07-10	HIR Typecheck CS - Cleaner debug output	John Hodge	2	-3/+20

2016-07-10	HIR Typecheck CS - (minor) Debugging fix	John Hodge	1	-1/+1

2016-07-10	HIR Typecheck CS - &[T] can't coerce to anything	John Hodge	1	-2/+16

2016-07-10	HIR Typecheck CS - (minor) Logging in ivar possibilities	John Hodge	1	-8/+14

2016-07-10	HIR Typecheck CS - Ensure that types that would be revealed by a method call ↵	John Hodge	1	-0/+50
	are not defaulted until that call is known
2016-07-10	HIR Typecheck CS - Allow fuzzy impl matching	John Hodge	1	-5/+8

2016-07-10	HIR Typecheck CS - Fix printing of types	John Hodge	1	-2/+12

2016-07-10	HIR Typecheck CS - Allow fuzzy matches when checking impl bounds	John Hodge	1	-15/+25

2016-07-10	HIR Typecheck CS - Mark change when a new rule is added	John Hodge	3	-3/+8

2016-07-10	HIR Typecheck - Hacky Copy impls	John Hodge	1	-0/+34

2016-07-10	HIR Typecheck CS - Allow casts from usize to pointers	John Hodge	1	-0/+19

2016-07-10	HIR Typecheck - Change default type of enums to isize	John Hodge	1	-1/+1

2016-07-10	HIR - (comment) Need to record source trait for type bounds	John Hodge	1	-0/+1

2016-07-10	HIR Typecheck CS - (EVIL) Propagate type bounds through to supertraits	John Hodge	3	-4/+29

2016-07-10	HIR Typecheck CS - Magic inferrence passthrough for uniops too	John Hodge	1	-16/+38

2016-07-10	HIR Typecheck CS - Search for bounds implied by associated types	John Hodge	1	-24/+90
	- E.g. `<T as IntoIterator>::IntoIter` impls `Iterator<Item=<T as IntoIterator>::Item>`
2016-07-10	HIR Creation - (minor) Use a vistor-global null span	John Hodge	1	-1/+2

2016-07-10	Span - Add an assert macro	John Hodge	1	-0/+1

2016-07-10	HIR Typecheck CS - Expand associated types in associated equality rules	John Hodge	1	-1/+10

2016-07-10	HIR Typecheck - Cleaner debug output	John Hodge	3	-21/+45

2016-07-09	HIR Typecheck CS - Distinguish between "direction" of possible ivar values.	John Hodge	2	-36/+64
	- When both sides are known, it propagates leftwards
2016-07-09	HIR Typecheck CS - Ignore unknown associated types when applying coercions	John Hodge	2	-54/+85

2016-07-09	HIR Typecheck CS - (partial) Change handling of patterns to account for ↵	John Hodge	1	-104/+99
	associated types
2016-07-09	HIR Typecheck CS - Support raw pointer deref	John Hodge	1	-3/+22

2016-07-09	HIR Typecheck CS - range patterns	John Hodge	1	-18/+29

2016-07-09	HIR Typecheck CS - Special case for resultant types from 'prim binop prim'	John Hodge	1	-5/+40

2016-07-08	HIR Typecheck CS - Reduce log spam by not clearing 'changed' flag when ↵	John Hodge	2	-6/+4
	testing for ivar default
2016-07-08	HIR Typecheck CS - Apply ivar defaults when nothing else can be done	John Hodge	1	-0/+16

2016-07-08	HIR Typecheck CS - Fix ivar handling in field	John Hodge	1	-17/+26

2016-07-08	HIR Typecheck CS - Field accesses	John Hodge	2	-4/+45

2016-07-08	HIR Typecheck - Magic impls of Fn* for fn pointers	John Hodge	1	-4/+33

2016-07-08	HIR Typecheck CS - Coercion of fn() to nothing, print fn types	John Hodge	2	-15/+40

2016-07-08	HIR Typecheck CS - Autoderef on indexing	John Hodge	1	-3/+82

2016-07-07	HIR Typecheck CS - Sized trait	John Hodge	1	-0/+22

2016-07-07	HIR Type - Mark the same ivar as being the Equal	John Hodge	1	-0/+5

2016-07-07	HIR Typecheck CS - Working `let v: usize = !0;`	John Hodge	5	-10/+71

2016-07-07	HIR Typecheck CS - Associated type bounds, hacky handling of deferred type ↵	John Hodge	3	-18/+131
	equalities (associated types)
2016-07-07	HIR Typecheck CS - Better impl searching, fixed function bounds	John Hodge	3	-8/+9

2016-07-07	Expand/derive - Rough PartialEq on enums	John Hodge	1	-2/+34

2016-07-07	Expand - PartialEq derive hacking up	John Hodge	1	-12/+181

2016-07-07	HIR Typecheck CS - Closure handling in equate_types and type.cpp	John Hodge	2	-3/+35

2016-07-07	HIR Typecheck - Resolve ivar in searching for trait impl	John Hodge	1	-1/+2

2016-07-07	HIR Typecheck CS - Remove coercion if types are equal	John Hodge	1	-0/+4

2016-07-07	HIR Typecheck CS - Apply function bounds	John Hodge	1	-0/+40