mrust - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2016-11-19	HIR Serialis - Support ErasedType	John Hodge	1	-1/+6

2016-11-19	MIR Gen Match - Fix bad type for string in simple	John Hodge	1	-2/+2

2016-11-19	MIR Validate - Replace ErasedType instances in checked return type	John Hodge	1	-1/+17

2016-11-19	MIR Check - Monomorphise types from enums	John Hodge	1	-0/+2

2016-11-19	Derive Decodable - Add _ arm to enum decoding	John Hodge	1	-0/+18

2016-11-19	MIR Gen Match - HACK: Allow duplicate terminals (ranges)	John Hodge	1	-3/+2

2016-11-19	MIR Gen Match - Rough Slice and SplitSlice support	John Hodge	2	-23/+110

2016-11-19	MIR Gen Match - Handle StructValue	John Hodge	1	-0/+3

2016-11-19	MIR Gen - Expand associated types after monomorph	John Hodge	2	-5/+13

2016-11-19	MIR Gen - Bugcheck on Unbound paths	John Hodge	1	-1/+2

2016-11-19	MIR Gen Match - Don't unify a node unless the paths match	John Hodge	1	-10/+11

2016-11-19	MIR Gen Match - Sanity check in node merge	John Hodge	1	-32/+107

2016-11-19	MIR Gen Match - Some hackarounds	John Hodge	3	-9/+44

2016-11-18	HIR Expand ErasedType - Replace non-local erased types in return types	John Hodge	3	-48/+155

2016-11-18	HIR Expand ErasedTypes - Visit result types	John Hodge	1	-0/+7

2016-11-18	HIR Typecheck Validate - Expand ErasedType in callee returns	John Hodge	1	-2/+22

2016-11-18	HIR Expand - Erased types replacment	John Hodge	4	-1/+148

2016-11-18	HIR Expand Closures - Fix types in args/return types	John Hodge	1	-0/+4

2016-11-18	HIR Typecheck - Expand associated types in function pointers	John Hodge	3	-1/+7

2016-11-18	HIR Typecheck Static - Convert a fuzzy into a concrete in EAT	John Hodge	1	-2/+19

2016-11-18	HIR Typecheck Validate - Fix some small bugs, start on ErasedType support	John Hodge	3	-32/+60

2016-11-18	HIR - Clean up ExprPtr a little and add erased type types	John Hodge	2	-37/+64

2016-11-18	HIR Typecheck Common - Fix visit_ty_with__path	John Hodge	1	-4/+3

2016-11-18	HIR Expand Closures - Replace closure types in root node result	John Hodge	1	-0/+1

2016-11-17	HIR Typecheck Static - impls from ErasedType	John Hodge	1	-0/+30

2016-11-17	HIR Annotate - Handle SplitSlice and SplitTuple patterns	John Hodge	1	-15/+35

2016-11-17	HIR Typecheck Static - Copy for ErasedType	John Hodge	1	-1/+7

2016-11-17	HIR Typecheck - Support Self in impl monomorphisation	John Hodge	2	-2/+17

2016-11-17	Resolve - Fix scoping of `if let` bindings	John Hodge	1	-2/+3

2016-11-17	HIR Typecheck Expr - Handle revisit in SplitSlice	John Hodge	1	-19/+55

2016-11-17	HIR - Fix bad handling of split slice patterns	John Hodge	3	-4/+6

2016-11-17	HIR Typecheck Expr - Extend Opaque=fuzzy hack	John Hodge	2	-3/+8

2016-11-17	HIR Typecheck Expr - Stop autoderef method search when unbound UFCS is hit	John Hodge	1	-4/+7

2016-11-17	HIR Typecheck Expr - Reduce log spam in librustc	John Hodge	1	-19/+37

2016-11-17	HIR Typecheck Expr - Search supertraits for TraitObject and ErasedType ↵	John Hodge	1	-50/+26
	method searching
2016-11-17	HIR Typecheck Expr - Update method selection	John Hodge	3	-67/+59

2016-11-16	HIR Typecheck Expr - Cleanup	John Hodge	1	-31/+21

2016-11-16	HIR Typcheck Expr - Prune `coerce_from` list down to bottom type	John Hodge	1	-1/+33

2016-11-16	HIR Typecheck Expr - Avoid taking too many guesses in a single pass	John Hodge	1	-2/+9

2016-11-16	HIR Typecheck Expr - Remove some useless error checking	John Hodge	1	-100/+43

2016-11-16	HIR Typcheck Expr - Remove types that unsize to other types in the ↵	John Hodge	1	-14/+45
	possibility list
2016-11-16	HIR Typecheck Expr - Refactor possibility code	John Hodge	1	-92/+164

2016-11-16	HIR Typecheck Expr - Emit an assoc bound for fuzzy impl selection	John Hodge	1	-2/+2
	- Fixes errors where one of the fetched types contains a placeholder.
2016-11-16	HIR Typecheck Expr - Refactor monomorphise_type_needed so the inner code can ↵	John Hodge	3	-90/+107
	be used for a bugcheck.
2016-11-16	HIR Typecheck Expr - Don't assert if impl params aren't known (just fill ↵	John Hodge	1	-3/+7
	them with new ivars)
2016-11-16	HIR - Don't print crate name when searching for inherent impls	John Hodge	1	-1/+2

2016-11-16	HIR Typecheck Expr - Fix inferrence losing ! marker	John Hodge	2	-3/+24

2016-11-16	HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)	John Hodge	6	-34/+47

2016-11-16	HIR Typcheck - Hackily hndle default parameters	John Hodge	2	-3/+41

2016-11-15	HIR Typecheck Expr - Minor tweaks for better bug messages	John Hodge	2	-16/+10