summaryrefslogtreecommitdiff
path: root/src/hir_typeck
AgeCommit message (Expand)AuthorFilesLines
2018-05-25HIR - No more name in lifetime paramsJohn Hodge1-5/+10
2018-02-25HIR Typecheck - Fix case where inferrence stalls when there's a `T = <T>::Ass...John Hodge1-17/+60
2017-12-30Typecheck Expr - (minor) Logging wrapper when checking completeness, catches ...John Hodge1-0/+1
2017-11-26HIR/MIR - Error checking for assigning into ! (as opposed to from !)John Hodge2-4/+31
2017-11-26Typecheck Expressions - Handle type being known when possibility addedJohn Hodge1-1/+6
2017-11-19Typecheck Expressions - Incremental change to auto trait handlingJohn Hodge1-0/+7
2017-11-19Typecheck Expressions - Prevent inferrence race with operator overridesJohn Hodge1-1/+5
2017-11-18HIR Typecheck - More and more special rulesJohn Hodge1-2/+22
2017-11-18Typecheck Expressions - Tweak for edge case in cargoJohn Hodge1-23/+24
2017-11-18Typecheck Expressions - Treat unbounded ivars as fuzzy in ftic_check_paramsJohn Hodge1-1/+7
2017-11-18Typecheck Expressions - Fix incorrect argument ordering in unsizeJohn Hodge1-1/+1
2017-11-05MIR - Use SwitchValue terminatorJohn Hodge1-0/+3
2017-11-04Typecheck Expressions - Fix libgit2 bug with some extra ivar disabling afer a...John Hodge1-17/+54
2017-11-01HIR - Refactor enums to only embed a single field (and give variants types)John Hodge5-129/+102
2017-10-29HIR Typecheck Expressions - Coerce within array literalsJohn Hodge1-0/+2
2017-10-29HIR Typecheck - Allow casting function pointers to *const i8John Hodge2-3/+7
2017-10-28HIR Typecheck - Allow casting function pointersJohn Hodge1-1/+4
2017-10-28HIR Typecheck - Cleanup as part of locating libgit2 quirksJohn Hodge2-5/+20
2017-10-01Typecheck Expressions - Clean up disabled code blocksJohn Hodge1-155/+2
2017-10-01Typecheck Expressions - (minor) WhitespaceJohn Hodge1-1/+1
2017-10-01Type Resolve Static - Fix impl paramsJohn Hodge1-1/+8
2017-10-01Typecheck Expressions - Don't pick a bound impl when type is Unbound UFCSJohn Hodge1-0/+2
2017-10-01HIR Typecheck Expressions - Implement a TODOJohn Hodge1-2/+5
2017-10-01HIR Typecheck - Fallback in method lookupJohn Hodge3-79/+88
2017-09-28HIR Typecheck Expr - Handle `some_const_ptr as *const _` with fallback modeJohn Hodge1-2/+56
2017-09-23Merge branch 'master' of ssh://github.com/thepowersgang/mrustcJohn Hodge1-0/+2
2017-09-23HIR Typecheck - Fix bug with get_full_path on functions in the root crateJohn Hodge1-0/+2
2017-09-22Windows compile fixesJohn Hodge1-2/+0
2017-09-20HIR Typecheck - Revert change to method lookup order, plan for fallbacksJohn Hodge2-45/+64
2017-09-16HIR Typecheck - Look up trait methods before inherent methodsJohn Hodge1-44/+44
2017-09-12HIR Resolve - Replace default types, with correct Self replacementJohn Hodge2-3/+10
2017-09-10Typecheck Expressions - Extract bounds from function valuesJohn Hodge1-1/+12
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