summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-07-10HIR Typecheck CS - Mark change when a new rule is addedJohn Hodge3-3/+8
2016-07-10HIR Typecheck - Hacky Copy implsJohn Hodge1-0/+34
2016-07-10HIR Typecheck CS - Allow casts from usize to pointersJohn Hodge1-0/+19
2016-07-10HIR Typecheck - Change default type of enums to isizeJohn Hodge1-1/+1
2016-07-10HIR - (comment) Need to record source trait for type boundsJohn Hodge1-0/+1
2016-07-10HIR Typecheck CS - (EVIL) Propagate type bounds through to supertraitsJohn Hodge3-4/+29
2016-07-10HIR Typecheck CS - Magic inferrence passthrough for uniops tooJohn Hodge1-16/+38
2016-07-10HIR Typecheck CS - Search for bounds implied by associated typesJohn Hodge1-24/+90
- E.g. `<T as IntoIterator>::IntoIter` impls `Iterator<Item=<T as IntoIterator>::Item>`
2016-07-10HIR Creation - (minor) Use a vistor-global null spanJohn Hodge1-1/+2
2016-07-10Span - Add an assert macroJohn Hodge1-0/+1
2016-07-10HIR Typecheck CS - Expand associated types in associated equality rulesJohn Hodge1-1/+10
2016-07-10HIR Typecheck - Cleaner debug outputJohn Hodge3-21/+45
2016-07-09HIR Typecheck CS - Distinguish between "direction" of possible ivar values.John Hodge2-36/+64
- When both sides are known, it propagates leftwards
2016-07-09HIR Typecheck CS - Ignore unknown associated types when applying coercionsJohn Hodge2-54/+85
2016-07-09HIR Typecheck CS - (partial) Change handling of patterns to account for ↵John Hodge1-104/+99
associated types
2016-07-09HIR Typecheck CS - Support raw pointer derefJohn Hodge1-3/+22
2016-07-09HIR Typecheck CS - range patternsJohn Hodge1-18/+29
2016-07-09HIR Typecheck CS - Special case for resultant types from 'prim binop prim'John Hodge1-5/+40
2016-07-08HIR Typecheck CS - Reduce log spam by not clearing 'changed' flag when ↵John Hodge2-6/+4
testing for ivar default
2016-07-08HIR Typecheck CS - Apply ivar defaults when nothing else can be doneJohn Hodge1-0/+16
2016-07-08HIR Typecheck CS - Fix ivar handling in fieldJohn Hodge1-17/+26
2016-07-08HIR Typecheck CS - Field accessesJohn Hodge2-4/+45
2016-07-08HIR Typecheck - Magic impls of Fn* for fn pointersJohn Hodge1-4/+33
2016-07-08HIR Typecheck CS - Coercion of fn() to nothing, print fn typesJohn Hodge2-15/+40
2016-07-08HIR Typecheck CS - Autoderef on indexingJohn Hodge1-3/+82
2016-07-07HIR Typecheck CS - Sized traitJohn Hodge1-0/+22
2016-07-07HIR Type - Mark the same ivar as being the EqualJohn Hodge1-0/+5
2016-07-07HIR Typecheck CS - Working `let v: usize = !0;`John Hodge5-10/+71
2016-07-07HIR Typecheck CS - Associated type bounds, hacky handling of deferred type ↵John Hodge3-18/+131
equalities (associated types)
2016-07-07HIR Typecheck CS - Better impl searching, fixed function boundsJohn Hodge3-8/+9
2016-07-07Expand/derive - Rough PartialEq on enumsJohn Hodge1-2/+34
2016-07-07Expand - PartialEq derive hacking upJohn Hodge1-12/+181
2016-07-07HIR Typecheck CS - Closure handling in equate_types and type.cppJohn Hodge2-3/+35
2016-07-07HIR Typecheck - Resolve ivar in searching for trait implJohn Hodge1-1/+2
2016-07-07HIR Typecheck CS - Remove coercion if types are equalJohn Hodge1-0/+4
2016-07-07HIR Typecheck CS - Apply function boundsJohn Hodge1-0/+40
2016-07-07HIR Typecheck CS - Closures don't coerce yetJohn Hodge1-1/+5
2016-07-07HIR Typecheck CS - Expect inner block of loop{} to yield ()John Hodge1-0/+3
2016-07-07HIR Typecheck CS - Equate ! with anythingJohn Hodge1-0/+9
2016-07-07HIR Typecheck CS - Store clones of possible ivar types (prevents use-after-free)John Hodge1-4/+8
2016-07-06HIR Typecheck CS - CallValueJohn Hodge1-27/+107
2016-07-06HIR Typecheck CS - Don't bother coercing when both types are already equalJohn Hodge1-0/+5
2016-07-06HIR Typecheck CS - Don't expand associated unless needed when compactingJohn Hodge1-3/+7
2016-07-06HIR Typecheck CS - Expand associated types before doing an equalityJohn Hodge3-2/+91
2016-07-06HIR Typecheck CS - Struct member monomorphiseJohn Hodge2-2/+66
2016-07-06HIR Typecheck - Monomorphise tuple variant typesJohn Hodge1-1/+21
2016-07-06HIR Typecheck CS - Rough solutions to some casesJohn Hodge1-3/+47
2016-07-06HIR Typecheck CS - Ignore CoerceUnsized for nowJohn Hodge1-2/+8
2016-07-06HIR Typecheck CS - Type possibility from src->dst of borrowJohn Hodge1-1/+9
2016-07-05HIR Typecheck CS - Method handling tweaksJohn Hodge2-4/+12
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-19 23:36:26 +0000