summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-10-05HIR Typecheck Validate - Allow no-op castsJohn Hodge1-0/+6
2016-10-05HIR Typecheck Static - TraitObject trait lookupJohn Hodge1-1/+47
2016-10-05HIR Expand Closures - Propagate value usage for replaced variablesJohn Hodge1-0/+1
2016-10-05HIR Expand Calls - Expand _Deref for genericsJohn Hodge1-1/+6
2016-10-05Expand derive - Hash (and enable error when an unexpected trait is seen)John Hodge1-1/+156
2016-10-05Expand derive - DefaultJohn Hodge1-2/+79
2016-10-05Resolve+Typecheck - Fix trait default parametersJohn Hodge4-90/+153
2016-10-03HIR - Hack: Treat impl placeholder generics as ivars in match_test_generics_fuzzJohn Hodge2-0/+16
2016-10-03Expand/derive - OrdJohn Hodge1-1/+258
2016-10-03HIR Typecheck Expr - Add bounds from impl blocks as rulesJohn Hodge1-2/+5
2016-10-03HIR Typecheck Expr - Add inferrence default of `Box<data_ty>` for EmplaceJohn Hodge1-0/+13
2016-10-03HIR Typecheck Expr - Fix incorrect param for Unsize<> between arrays and slicesJohn Hodge1-1/+2
2016-10-03HIR Typecheck Expr - Allow borrow coercions when a downgrade reborrow happensJohn Hodge1-9/+13
2016-10-03HIR Typecheck Expr - Link ivars through unsizing coercionsJohn Hodge1-3/+26
2016-10-03Parse - Fix bad datatype for negative numbersJohn Hodge2-6/+4
2016-10-03HIR Typecheck Expr - Fix param counts on enum var constructor valuesJohn Hodge1-0/+1
2016-10-03HIR+AST - Handle bytestring patternsJohn Hodge9-2/+22
2016-10-02Expand - Derive PartialOrdJohn Hodge2-27/+295
2016-10-02AST - Store the mutability of & patternsJohn Hodge3-12/+14
2016-10-02HIR Typecheck Expr - Handle use of slice/array patterns with arraysJohn Hodge1-9/+117
2016-10-02HIR Typecheck Expr - Bind Self type in UfcsInherent call, fix trait param ↵John Hodge1-35/+31
count in UfcsKnown
2016-10-02HIR Typecheck Expr - Handle Self in trait_contains_methodJohn Hodge2-7/+18
2016-10-02HIR Typecheck Expr - (minor) Update commentsJohn Hodge1-2/+2
2016-10-01HIR - Store and use annotations for CoerceUnsized (and prepare markings for ↵John Hodge7-11/+134
other traits)
2016-10-01HIR Typecheck Expr - (minor) Clean up lang item lookup in find_trait_implsJohn Hodge1-15/+19
2016-10-01AST Dump - Include binding index in patternsJohn Hodge1-1/+3
2016-10-01Resolve Absolute - Fix closure args not being scoped to the closureJohn Hodge1-0/+5
2016-10-01HIR Typecheck Expr - Better TraitObject trait searching, _CallValue extendedJohn Hodge2-19/+64
2016-10-01(minor) Add TODO regarding by-borrow closure capturesJohn Hodge2-0/+2
2016-10-01HIR Typecheck Expr - Handle posibly-diverging loop blocks correctlyJohn Hodge4-9/+36
2016-10-01HIR Type - Handle lhs ivar in match_test_generics_fuzzJohn Hodge1-1/+43
2016-10-01HIR - Support tuple enum variants as function pointersJohn Hodge4-2/+26
2016-09-30HIR From AST - Add TODO for when a tuple variant is used as a valueJohn Hodge1-9/+46
2016-09-30HIR Typecheck Expr - Handle positive impls for auto traitsJohn Hodge1-4/+34
2016-09-30HIR Typecheck Expr - Refactor code to check if an impl matches into its own ↵John Hodge2-172/+201
function
2016-09-30Expand crate_type - HACK: treat "lib" as "rlib"John Hodge1-1/+1
2016-09-30main - --cfg argument hacked inJohn Hodge1-4/+27
2016-09-30HIR Typecheck Expr - Monomorphise inner types when searching for auto trait ↵John Hodge1-2/+15
impls
2016-09-30HIR Typecheck Expr - Structure and stub impl for doing destructure auto ↵John Hodge1-9/+97
trait searching
2016-09-30HIR Typecheck Expr - Lookup auto traits in tuples and arraysJohn Hodge1-1/+35
2016-09-30HIR Typecheck Expr - Don't do ivar possibilities on every pass, prevent ↵John Hodge1-7/+26
possibilities on associated results
2016-09-29HIR Typecheck Expr - Magic impl of Usize<Trait> for all T: TraitJohn Hodge1-0/+22
2016-09-29HIR Typecheck Expr - Apply coercions to CallValueJohn Hodge2-7/+15
2016-09-29HIR Typecheck Expr - Use Fn* impls from the crateJohn Hodge1-6/+23
2016-09-29HIR Typecheck Expr - (minor) Better debug in auto trait searchJohn Hodge1-2/+5
2016-09-29HIR Typecheck Expr - Autoderef library containers tooJohn Hodge1-26/+48
2016-09-29HIR Typecheck Expr - Draft auto trait impl searchJohn Hodge3-1/+66
2016-09-29HIR Typecheck Expr - Hackily support variadic functionsJohn Hodge1-4/+10
2016-09-29HIR - Add variadic marking to functions, and propagate unsafe/const markingsJohn Hodge6-6/+9
2016-09-29AST - Store `const`/`unsafe`/variadic on functionsJohn Hodge4-62/+75