summaryrefslogtreecommitdiff
path: root/src/hir_typeck
AgeCommit message (Expand)AuthorFilesLines
2017-04-29Trans - Better needs_drop intrinsicJohn Hodge2-0/+148
2017-04-16Typecheck static - Allow fuzzy matches of associated typesJohn Hodge1-1/+1
2017-03-18HIR Typecheck - Fix incorrect error messageJohn Hodge1-2/+2
2017-03-04HIR Typecheck Static - Look up trait impls for associated constantsJohn Hodge1-1/+39
2017-03-03HIR Typecheck Expr - Better bug message (can be triggered by bad code)John Hodge1-1/+1
2017-03-02MIR Gen - More Param usageJohn Hodge1-4/+8
2017-02-25MIR Gen - Use MIR::Param (and associated changes)John Hodge3-0/+125
2017-01-28HIR Typecheck Static - Asociated type bounds from bounded associated typesJohn Hodge1-3/+17
2017-01-26HIR Typecheck - Fix quirks from rust_osJohn Hodge2-1/+17
2017-01-25HIR Typecheck - Box autoderef quirk fixesJohn Hodge2-24/+62
2017-01-21Static Typecheck - Remove debugJohn Hodge1-1/+0
2017-01-21Typecheck Static - Cache Copy lookupsJohn Hodge2-2/+24
2017-01-14HIR - Build up a flattened list of parent traits early to save time laterJohn Hodge5-148/+105
2017-01-08HIR Typecheck - Fixes, rustc compiles againJohn Hodge2-7/+13
2017-01-08HIR Typecheck Expr - TweakJohn Hodge1-1/+16
2017-01-08All - i128/u182 support, typecheck and parse fixesJohn Hodge5-7/+62
2017-01-07HIR Typecheck Expr - Handle coercing to trait objects with foreign associated...John Hodge1-3/+12
2017-01-03HIR Typecheck Expr - Expand associated types in visited pathsJohn Hodge1-0/+23
2016-12-31HIR Typecheck - Apply ivars in union literalsJohn Hodge1-0/+4
2016-12-30HIR Typecheck Static - Expand associated when doing auto trait searchesJohn Hodge1-2/+4
2016-12-29HIR - asm! nodeJohn Hodge2-0/+36
2016-12-27HIR Typecheck Expr - Propagate coercions applied to blocks to the inside of t...John Hodge1-17/+50
2016-12-24No more tears!ubsan13-967/+967
2016-12-18HIR Typecheck - Fix some deficiencies in static typecheckJohn Hodge3-13/+31
2016-12-18HIR Markings - Store presense of a Drop implJohn Hodge1-0/+2
2016-12-11HIR Const Eval - Split into two passes to have correct types in literalsJohn Hodge3-0/+36
2016-12-10HIR Typecheck - Applied inferred literal suffixesJohn Hodge1-0/+19
2016-12-10MIR Cleanup - Convert fn() calls to by-valueJohn Hodge1-1/+1
2016-12-10MIR - Cast PhandomData fields when doing CoerceUnsizedJohn Hodge2-0/+21
2016-12-10HIR->MIR - Destructuring CoerceUnsizedJohn Hodge1-3/+3
2016-12-07Trans C - Rough Box special-casingJohn Hodge2-0/+23
2016-12-03HIR Typecheck - Fix un-expanded ivarJohn Hodge1-0/+3
2016-12-03Trans Enumerate - Handle places where monomorph lead to dynamic dispatchJohn Hodge1-37/+18
2016-12-03HIR/Trans - Bind items in external MIR, use StaticTraitResolve in transJohn Hodge2-5/+95
2016-12-03HIR/MIR - Vtable generation working wellJohn Hodge1-1/+2
2016-12-03HIR/MIR - VTable workJohn Hodge2-3/+1
2016-12-01Trans - Enumeration work structured out, vtables hacked inJohn Hodge2-3/+5
2016-11-27Trans - Initial rough up (untested) of enumerationJohn Hodge1-0/+1
2016-11-27HIR - Move impl parameters from node to the pathJohn Hodge2-6/+5
2016-11-27HIR Typecheck Expr - Performance fixJohn Hodge1-3/+1
2016-11-27HIR Typecheck Expr - Reorder some revisit registrations for efficiencyJohn Hodge1-9/+9
2016-11-27HIR Typecheck Expr - Don't take guesses if an ivar was aliasedJohn Hodge1-1/+1
2016-11-27HIR Typecheck Expr - Shadow ivars impacted by ivar guessesJohn Hodge1-29/+45
2016-11-27HIR Typecheck Expressions - Remove hack and start cleaning up typecheck errorsJohn Hodge1-27/+43
2016-11-25HIR Typecheck Expressions - Merge non-coercable optionsJohn Hodge1-4/+0
2016-11-25HIR - Shift markings to their own pass, store in crate metadata.John Hodge1-1/+35
2016-11-25HIR Bind - Visit all generic pathsJohn Hodge1-0/+3
2016-11-24HIR Typecheck Expr - Defer unsize to TraitObject if there are magic parametersJohn Hodge1-0/+5
2016-11-24HIR Typecheck Expr - Allow inner coerce in match valueJohn Hodge1-2/+3
2016-11-24HIR Typecheck Expressions - Coercions of safe to unsafe function pointersJohn Hodge2-5/+28