summaryrefslogtreecommitdiff
path: root/src/hir_typeck
AgeCommit message (Expand)AuthorFilesLines
2019-11-24Misc - Warning tweaks to make MSVC be quietJohn Hodge1-1/+2
2019-11-23HIR - Restructure resolve to replace `Self` type later in processingJohn Hodge4-31/+31
2019-11-16HIR Typecheck Outer - Don't check type aliasesJohn Hodge1-0/+5
2019-11-10HIR Typecheck - Wrap `Coercion` in a unique_ptr to reduce copying costs when ...John Hodge1-26/+30
2019-11-10HIR Typecheck Static - Tweak cache behaviour for is_copy to reduce thrashingJohn Hodge1-3/+15
2019-11-07All - Fix some clang warningsJohn Hodge1-1/+1
2019-11-10HIR Typecheck - Remove pre-setting of node result typeJohn Hodge2-19/+21
2019-11-07HIR Typecheck - Work around a GCC 9 bugJohn Hodge1-6/+10
2019-11-03HIR - Correct enum repr typesJohn Hodge2-4/+2
2019-10-26Merge remote-tracking branch 'remotes/origin/master' into nightly-1.29John Hodge2-8/+4
2019-10-26All - Compilation fixes on VS2015 (constructors, warnings, missing files, cla...John Hodge1-0/+7
2019-10-26HIR Typecheck - Allow coercion to add `unsafe` to function pointersJohn Hodge2-2/+47
2019-10-26HIR Typecheck - Unify closure type determining (also shuts valgrind up)John Hodge1-2/+3
2019-10-26HIR Typecheck Expr - Avoid use-after-free in handling of integer operationsJohn Hodge1-1/+6
2019-10-08HIR Expand Closures - Impl Copy for Borrow/no-capture closuresJohn Hodge1-1/+6
2019-10-06HIR Typecheck - Return type for empty match statementsJohn Hodge1-0/+5
2019-10-05HIR Typecheck - Tweak: Prefer single-source if it's concrete and meets boundsJohn Hodge1-0/+28
2019-10-05HIR Typecheck - Handle unbound UFCS types properly in coercionsJohn Hodge1-1/+6
2019-09-30HIR Typecheck - Coercion point at indexingJohn Hodge1-1/+4
2019-09-30HIR Typecheck - Working cargo 1.19John Hodge2-24/+150
2019-08-23Typecheck Expressions - Fix case where a UFC isn't expanded before being used...John Hodge1-0/+8
2019-08-18Typecheck Expressions - Tweaks to cast logic for libgit2John Hodge1-51/+52
2019-07-24HIR Typecheck - Semi-hack, auto-deref through &-ptrs when looking for callablesJohn Hodge1-1/+14
2019-07-21Typecheck Expressions - Default to u8 when cast to char is seenJohn Hodge1-1/+18
2019-07-21HIR Typecheck - Short-circuit when method name is found on a trait objectJohn Hodge2-0/+7
2019-07-20HIR Typecheck - Move NullOnDrop to a common locationJohn Hodge1-11/+0
2019-07-13Trans sizeof - Fix bug where sizeof<*const T> would return 2*ptr if T was ?SizedJohn Hodge2-99/+141
2019-06-30HIR Typecheck - Cache drop glue presenceJohn Hodge2-7/+27
2019-06-22HIR - Planning for removal of evil pointers (but not today)John Hodge3-6/+93
2019-06-08HIR Typecheck Static - Handle closures in EAT (for post resolve validation)John Hodge1-0/+3
2019-06-04HIR - Use maps-of-vectors for impl lists for faster lookup, optimise Trans_En...John Hodge1-7/+6
2019-06-04HIR Markings - Flag for any Copy implJohn Hodge2-18/+8
2019-05-19All - Switch to using interned (de-duplicated) RcString-s instead of std::str...John Hodge8-62/+63
2019-05-11Typecheck Expressions - Fix bug in ivar counting, work around failure in libr...John Hodge1-30/+74
2019-05-05Typecheck Expressions - Permanently enable match ergonomicsJohn Hodge1-64/+53
2019-05-05Typecheck Expressions - (Disabled) inclusion of a coercion point on match valuesJohn Hodge1-1/+10
2019-05-04Typecheck Expressions - Handle SpliceSlice patterns in match ergonomics, disa...John Hodge1-11/+30
2019-05-04Match Ergonomics - Auto-deref in `ref` patterns to get `&T`John Hodge1-14/+11
2019-05-04HIR Typecheck - Expected type for string patternsJohn Hodge1-11/+87
2019-05-03HIR Typecheck - Check expressions after typecheck (finds bugs faster)John Hodge1-1/+16
2019-05-03HIR Typecheck - Handle closure types in static typecheckJohn Hodge1-0/+42
2019-05-03HIR Typecheck - Tweaks to validation code to allow pre-expand checksJohn Hodge2-2/+123
2019-04-28Typecheck Expressions - Better handling of `!`, and match ergonomicsJohn Hodge1-7/+29
2019-04-26Typecheck Expressions - Strong disable match ergonomics downstream ivars, hac...John Hodge1-1/+27
2019-04-25Typecheck Expressions - Mark a change when `!` assignedJohn Hodge1-0/+1
2019-04-25HIR - Add more complete privacy handling (allowing for autoderef to skip priv...John Hodge5-14/+21
2019-04-24Typecheck Expressions - Add an unsize target instead of hard equality in matc...John Hodge2-66/+108
2019-04-23Typecheck fiddlingJohn Hodge1-4/+32
2019-04-22Typecheck Expressions - More hackeryJohn Hodge1-0/+15
2019-04-22Typecheck Expressions - Minor tweaks from trying to use all trait impls in im...John Hodge1-12/+19