mrust - [no description]

Age	Commit message (Expand)	Author	Files	Lines
2016-10-29	HIR Types - Store array size expr as a shared_ptr to allow cloning	John Hodge	3	-7/+3
2016-10-28	HIR Typecheck Expr - Equate Self type in UfcsInherent method selection	John Hodge	1	-0/+8
2016-10-28	HIR Typecheck - Fuzzy match more cases with unbound UFCS	John Hodge	1	-1/+1
2016-10-28	HIR Typecheck Expr - Shadow type params	John Hodge	1	-15/+10
2016-10-28	HIR Typecheck Expr - (minor) Comment about TODO	John Hodge	1	-0/+1
2016-10-28	HIR Typecheck Expr - Detect diverge from method call	John Hodge	1	-4/+66
2016-10-27	HIR Typecheck Expr - Allow fuzzy Copy impls	John Hodge	2	-16/+51
2016-10-25	HIR Typecheck - Add Copy impl for all fn pointers	John Hodge	1	-0/+3
2016-10-23	HIR Typecheck Validate - Fix minor bug	John Hodge	1	-2/+3
2016-10-23	AST+HIR - Add stubbed support for erased types (`impl Trait`)	John Hodge	5	-43/+149
2016-10-23	HIR Typecheck Static - HACK: Assume placeholder generics match any trait	John Hodge	1	-29/+41
2016-10-22	HIR Typecheck Expr - Add trait bound as part of CallValue to correctly link a...	John Hodge	2	-4/+13
2016-10-22	HIR Typecheck Expr - (minor) Comments about possible quirk with Unsize/Coerce...	John Hodge	1	-0/+6
2016-10-22	HIR Typecheck Expr - If an Unsize bound fails, equate the types	John Hodge	1	-6/+16
2016-10-22	HIR Typecheck Expr - Error earlier if an impl can't be found	John Hodge	2	-20/+40
2016-10-22	HIR Types - Treat unbound path types as fuzzy matches in compare_with_placeho...	John Hodge	1	-2/+4
2016-10-22	HIR Typecheck Expr - Add ivar possibilities from CoerceUnsized	John Hodge	1	-1/+19
2016-10-22	HIR Typecheck Expr - Handle TraitObject coerce with no data trait	John Hodge	1	-2/+8
2016-10-22	HIR - Allow (partial) TraitObject with no data trait, better logging of ItemPath	John Hodge	2	-1/+2
2016-10-21	HIR - Associated constant typecheck and MIR support	John Hodge	1	-46/+80
2016-10-20	HIR Typecheck - Associated constant result type	John Hodge	2	-2/+8
2016-10-20	HIR Typecheck Expr - Fix bug in array unsize	John Hodge	1	-1/+3
2016-10-15	HIR - Rough support for associated consts	John Hodge	1	-1/+1
2016-10-13	HIR Typecheck Expr - Shadow into borrows of tuples	John Hodge	1	-0/+9
2016-10-12	Make deault ABI a #define	John Hodge	2	-3/+3
2016-10-10	HIR Bind - Bind defaulted path params	John Hodge	1	-0/+4
2016-10-10	HIR Typecheck Expr - Move destructure auto trait checking to its own function	John Hodge	2	-142/+155
2016-10-10	HIR Typecheck Expr - Allow casts to become coerces	John Hodge	1	-7/+21
2016-10-10	HIR Typecheck Static - Handle still-specialisable impls	John Hodge	1	-0/+6
2016-10-10	HIR Typecheck Expr - Better error for cast to a path/generic	John Hodge	1	-2/+7
2016-10-10	HIR Typecheck Expr - Allow merge over ! ivar	John Hodge	1	-3/+3
2016-10-10	HIR Expand - Fix monomorphising of closure types	John Hodge	1	-0/+3
2016-10-10	HIR Typecheck Static - Error if an impl couldn't be found in EAT	John Hodge	1	-16/+1
2016-10-09	HIR Typecheck Static - (minor) Reduce debug spam	John Hodge	2	-9/+14
2016-10-08	HIR+MIR - Allow unsize between two generics	John Hodge	1	-15/+5
2016-10-08	HIR+MIR - Correct handling of diverging loops	John Hodge	1	-8/+19
2016-10-07	HIR Typecheck Expr - Use bounds from traits for opaque associated types	John Hodge	4	-1/+101
2016-10-07	HIR Typecheck Static - Expand associated types in monomorphised bound types, ...	John Hodge	1	-1/+4
2016-10-07	HIR Typecheck Common - Reduce spammyness of monomorphise_type	John Hodge	1	-15/+23
2016-10-07	HIR Typecheck Expr - (minor) Fiddling with find_named_trait_in_trait	John Hodge	1	-3/+7
2016-10-07	HIR Typecheck Expr - TraitObject supertraits in expand_associated_types	John Hodge	1	-0/+27
2016-10-06	HIR Typecheck Expr - Expand ivars in patterns, fix pattern types, expand ivar...	John Hodge	1	-25/+45
2016-10-05	HIR Typecheck Validate - Allow vardic functions	John Hodge	1	-1/+5
2016-10-05	HIR Typecheck Validate - Allow no-op casts	John Hodge	1	-0/+6
2016-10-05	HIR Typecheck Static - TraitObject trait lookup	John Hodge	1	-1/+47
2016-10-05	Resolve+Typecheck - Fix trait default parameters	John Hodge	2	-90/+129
2016-10-03	HIR - Hack: Treat impl placeholder generics as ivars in match_test_generics_fuzz	John Hodge	1	-0/+11
2016-10-03	HIR Typecheck Expr - Add bounds from impl blocks as rules	John Hodge	1	-2/+5
2016-10-03	HIR Typecheck Expr - Add inferrence default of `Box<data_ty>` for Emplace	John Hodge	1	-0/+13
2016-10-03	HIR Typecheck Expr - Fix incorrect param for Unsize<> between arrays and slices	John Hodge	1	-1/+2