summaryrefslogtreecommitdiff
path: root/src/hir_typeck
AgeCommit message (Expand)AuthorFilesLines
2016-10-07HIR Typecheck Expr - Use bounds from traits for opaque associated typesJohn Hodge4-1/+101
2016-10-07HIR Typecheck Static - Expand associated types in monomorphised bound types, ...John Hodge1-1/+4
2016-10-07HIR Typecheck Common - Reduce spammyness of monomorphise_typeJohn Hodge1-15/+23
2016-10-07HIR Typecheck Expr - (minor) Fiddling with find_named_trait_in_traitJohn Hodge1-3/+7
2016-10-07HIR Typecheck Expr - TraitObject supertraits in expand_associated_typesJohn Hodge1-0/+27
2016-10-06HIR Typecheck Expr - Expand ivars in patterns, fix pattern types, expand ivar...John Hodge1-25/+45
2016-10-05HIR Typecheck Validate - Allow vardic functionsJohn Hodge1-1/+5
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-05Resolve+Typecheck - Fix trait default parametersJohn Hodge2-90/+129
2016-10-03HIR - Hack: Treat impl placeholder generics as ivars in match_test_generics_fuzzJohn Hodge1-0/+11
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 Hodge1-0/+2
2016-10-03HIR Typecheck Expr - Fix param counts on enum var constructor valuesJohn Hodge1-0/+1
2016-10-03HIR+AST - Handle bytestring patternsJohn Hodge1-0/+3
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 cou...John Hodge1-35/+31
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 o...John Hodge2-8/+53
2016-10-01HIR Typecheck Expr - (minor) Clean up lang item lookup in find_trait_implsJohn Hodge1-15/+19
2016-10-01HIR Typecheck Expr - Better TraitObject trait searching, _CallValue extendedJohn Hodge2-19/+64
2016-10-01HIR Typecheck Expr - Handle posibly-diverging loop blocks correctlyJohn Hodge2-5/+34
2016-10-01HIR - Support tuple enum variants as function pointersJohn Hodge2-0/+24
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 f...John Hodge2-172/+201
2016-09-30HIR Typecheck Expr - Monomorphise inner types when searching for auto trait i...John Hodge1-2/+15
2016-09-30HIR Typecheck Expr - Structure and stub impl for doing destructure auto trait...John Hodge1-9/+97
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 possi...John Hodge1-7/+26
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 Hodge1-6/+11
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 Hodge1-0/+44
2016-09-29HIR Typecheck Expr - Hackily support variadic functionsJohn Hodge1-4/+10
2016-09-29HIR Typecheck Expr - Report have/exp argument countsJohn Hodge1-1/+2
2016-09-29HIR Typecheck Expr - Skip cast if types equalJohn Hodge1-1/+16
2016-09-29HIR Typecheck Expr - Autoderef in _CallValueJohn Hodge1-2/+7
2016-09-29HIR Typecheck Expr - Fix CallValue autoderef to handle &F boundsJohn Hodge1-104/+103
2016-09-28HIR Typecheck Expr - Rough up support for autoderef in _CallValueJohn Hodge1-4/+20
2016-09-27HIR Typecheck - Support casting all integers to pointersJohn Hodge2-3/+25
2016-09-25HIR Typecheck Expr - Fix incorrect monomorphisation of function pointersJohn Hodge2-9/+40
2016-09-25HIR - Support float patternsJohn Hodge1-0/+7
2016-09-24HIR Typecheck Expr - Hackily search for methods on a borrow of the search typeJohn Hodge3-22/+78