summaryrefslogtreecommitdiff
path: root/src/hir_typeck
AgeCommit message (Expand)AuthorFilesLines
2017-09-08HIR Typecheck - Add an unconditional coercion point to fix a librustdoc failJohn Hodge1-2/+7
2017-09-08Typecheck - Various tweaks from librustdocJohn Hodge3-31/+74
2017-09-07HIR Typecheck - Pick the most specific type when fuzzy matchingJohn Hodge1-1/+9
2017-09-04All - Placement new (<-) syntaxJohn Hodge1-59/+75
2017-09-03HIR Typecheck - Equate associated types in trait object unsizeJohn Hodge1-0/+13
2017-09-02HIR Typecheck - Fix compilation (warning not present on MSVC)John Hodge1-1/+1
2017-09-02HIR Typecheck - Check Sized bounds (in some places)John Hodge2-3/+146
2017-09-02Resolve - Fix a minor lookup bug around self:: pathsJohn Hodge1-1/+1
2017-09-02HIR Typecheck - Don't panic on excessive asociated type loops, just break earlyJohn Hodge1-1/+5
2017-09-02HIR Typecheck - Fix some edge cases with placeholder paramsJohn Hodge1-1/+21
2017-09-01HIR Typecheck - (minor) Don't search for impls on a pure ivarJohn Hodge1-0/+8
2017-09-01HIR Typecheck - Unify types that differ only by ivars in inferrenceJohn Hodge1-2/+23
2017-09-01HIR Typecheck - Fix edge case where &mut was picked instead of & for ivar pos...John Hodge1-0/+10
2017-09-01HIR Typecheck - Break valueJohn Hodge1-4/+9
2017-09-01HIR Typecheck Expressions - Fix some little coercion bugsJohn Hodge1-4/+11
2017-08-31HIR Typecheck Expr - Inferrence check for non-borrow coercion sourceJohn Hodge1-6/+9
2017-08-31HIR Typecheck - Add message to an empty errorJohn Hodge1-1/+1
2017-08-31HIR Resolve UFCS - Fix assertion failure (allow false return)John Hodge1-2/+3
2017-08-23HIR Typecheck - Specialiation deep overlap checks, little impl param determin...John Hodge3-6/+18
2017-08-22Typecheck/MIR - Some missing EAT invocationsJohn Hodge1-2/+10
2017-08-19HIR Typecheck - Work around VS quirks with macros.John Hodge1-8/+11
2017-08-18HIR Typecheck - Fix Unsize bound checksJohn Hodge2-74/+117
2017-08-18HIR Typecheck - Refactor coerce/unsize handlingJohn Hodge2-571/+566
2017-08-05Typecheck Expr - Infer smart pointer typeJohn Hodge1-0/+30
2017-07-25HIR Typecheck - Refactor of markings to keep more informationJohn Hodge3-38/+50
2017-07-20HIR Typecheck - Little refactors to allow re-adding coercions for rawptr coer...John Hodge1-21/+27
2017-07-16HIR Typecheck - Refactor method name resolution (slower, but more correct)John Hodge3-305/+329
2017-07-16All - Upgrade to rustc 1.19.0 beta (2017-07-08)John Hodge4-23/+143
2017-07-06Misc - Minor MSVC fixesJohn Hodge (bugs)1-2/+2
2017-06-11Typecheck Static - Fix bug in needs_drop_glueJohn Hodge1-1/+2
2017-06-09Fix use of hard tabsJohn Hodge4-204/+204
2017-06-09Fix build broken by MSVC portJohn Hodge1-3/+1
2017-06-04Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge (bugs)6-57/+514
2017-06-04All - Compile and run fixes in MSVCJohn Hodge (bugs)1-0/+1
2017-06-04HIR Typecheck - Remove assertion that static impls aren't fuzzyJohn Hodge1-1/+1
2017-06-03HIR Typecheck - Validate traits after typecheckJohn Hodge3-17/+283
2017-06-02Tweaks to handling of struct patternsJohn Hodge1-3/+20
2017-05-28Typecheck Expressions - Fix some places where ivars don't have indexesJohn Hodge2-1/+12
2017-05-26Typecheck Expr - Fix a place where literals can become trait objectsJohn Hodge1-9/+22
2017-05-26HIR Typecheck - Handle struct syntax for unit structsJohn Hodge2-2/+29
2017-05-16HIR Typecheck - TweaksJohn Hodge1-2/+3
2017-05-15HIR Typecheck - Fix greedily picking the most specific impl when typecheckingJohn Hodge1-4/+4
2017-05-15HIR Typecheck - Handling of implicit Sized bound when searching forJohn Hodge3-18/+88
2017-05-14HIR Typecheck - Fix (hopefully) typeck errors in new libcollectionsJohn Hodge1-10/+62
2017-05-14Merge branch 'master' of https://github.com/thepowersgang/mrustcJohn Hodge (bugs)6-276/+671
2017-05-07HIR - Replace m_yeilds_final_value with a nodeJohn Hodge2-59/+56
2017-05-07Typecheck Expressions - Fix a few inferrence problemsJohn Hodge2-16/+24
2017-05-06Typecheck Expressions - Fix broken associated type unsizeJohn Hodge3-57/+74
2017-05-05HIR Typecheck Static - Search bounds on trait for associated type boundsJohn Hodge1-4/+34
2017-05-05HIR Typecheck Expr - Fuzzy match ivars in OIBIT checkingJohn Hodge1-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-17 05:27:11 +0000