summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-11-16HIR Typecheck Expr - Avoid taking too many guesses in a single passJohn Hodge1-2/+9
2016-11-16HIR Typecheck Expr - Remove some useless error checkingJohn Hodge1-100/+43
2016-11-16HIR Typcheck Expr - Remove types that unsize to other types in the ↵John Hodge1-14/+45
possibility list
2016-11-16HIR Typecheck Expr - Refactor possibility codeJohn Hodge1-92/+164
2016-11-16HIR Typecheck Expr - Emit an assoc bound for fuzzy impl selectionJohn Hodge1-2/+2
- Fixes errors where one of the fetched types contains a placeholder.
2016-11-16HIR Typecheck Expr - Refactor monomorphise_type_needed so the inner code can ↵John Hodge3-90/+107
be used for a bugcheck.
2016-11-16HIR Typecheck Expr - Don't assert if impl params aren't known (just fill ↵John Hodge1-3/+7
them with new ivars)
2016-11-16HIR - Don't print crate name when searching for inherent implsJohn Hodge1-1/+2
2016-11-16HIR Typecheck Expr - Fix inferrence losing ! markerJohn Hodge2-3/+24
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge6-34/+47
2016-11-16HIR Typcheck - Hackily hndle default parametersJohn Hodge2-3/+41
2016-11-15HIR Typecheck Expr - Minor tweaks for better bug messagesJohn Hodge2-16/+10
2016-11-14HIR Typecheck Expr - Tweak to block diverge logicJohn Hodge1-4/+5
2016-11-14HIR Typecheck Expr - ErasedType return checkingJohn Hodge3-46/+143
2016-11-13HIR Typecheck - Slow work on ErasedTypeJohn Hodge2-30/+103
2016-11-12HIR Typecheck Expr - Coercion point in rhs of binopsJohn Hodge1-4/+11
2016-11-11HIR - Tweak ErasedType for implementationJohn Hodge8-49/+107
2016-11-10HIR Typecheck Exprs - Search for impls in ErasedTypeJohn Hodge1-0/+73
2016-11-10HIR Typecheck Expr - Expand some TODOs of ErasedTypeJohn Hodge1-20/+66
2016-11-09HIR Typecheck Expr - Restrict ivar guesses to pick the most compatibleJohn Hodge1-0/+47
2016-11-09HIR+Parse - Fix some ErasedTypes bugs before hitting the TODOsJohn Hodge3-40/+15
2016-11-09HIR Typecheck Expr - Treat an unbound type path as an ivar when searching ↵John Hodge2-0/+7
for fields
2016-11-09HIR Type Compare - Compare size in MTGFJohn Hodge1-0/+3
2016-11-08HIR Const Eval - Fields on structsJohn Hodge1-1/+34
2016-11-08HIR Const Eval - MIR Constant::ConstJohn Hodge1-1/+6
2016-11-08Resolve Absolute - (minor) Remove defunct commentsJohn Hodge1-4/+0
2016-11-08Resolve Absolute - Handle crate-root paths, fix an edge-case bugJohn Hodge1-2/+16
2016-11-08Resolve Use - Handle imports of a crate rootJohn Hodge1-0/+2
2016-11-07Expand - Handle another rustc internal macroJohn Hodge1-0/+9
2016-11-07AST Expr - Handle some null nodes in printingJohn Hodge1-5/+14
2016-11-07HIR Gen - Extract #[macro_export] macros from deep within the treeJohn Hodge3-22/+41
2016-11-07MIR Gen Match - Fix DTN cloneJohn Hodge1-0/+2
2016-11-07HIR Const Eval - Mask down unsigned integersJohn Hodge1-1/+108
2016-11-07MIR Gen Match - Refactor range insertionJohn Hodge1-40/+52
2016-11-06MIR Gen Match - Handle cases where different-typed nodes are mergedJohn Hodge1-14/+28
2016-11-06HIR Typecheck Static - Deeper search for Copy boundsJohn Hodge3-11/+12
2016-11-06HIR Consteval - Fix edge case where array inner wasn't expanded correctlyJohn Hodge1-4/+2
2016-11-06HIR Typecheck Static - Expand associated after getting type from implJohn Hodge1-0/+1
2016-11-06HIR Typecheck Static - UfcsKnown bound lookupJohn Hodge2-2/+56
2016-11-06HIR Typecheck Static - Search bounds in find_named_trait_in_traitJohn Hodge1-11/+41
2016-11-06HIR Typecheck Expr - Don't call callback if params failed to matchJohn Hodge1-15/+15
2016-11-06HIR Typecheck Expr - Recursive bounds for CopyJohn Hodge2-5/+30
2016-11-06HIR Typecheck Expr - Fix leaking of a placeholder paramJohn Hodge4-6/+21
2016-11-06HIR Typecheck Expr - Deep search for traits on associated typesJohn Hodge1-9/+21
2016-11-05HIR Resolve UFCS - Tweak handling of Self in trait implsJohn Hodge1-36/+42
2016-11-05Expand - add #[test] handler that removes all testsJohn Hodge1-0/+27
2016-11-05HIR Typecheck Expr - Fuzzy impls in UnsizeJohn Hodge1-3/+9
2016-11-05Parse patterns - Handle :expr fragmentsJohn Hodge1-0/+23
2016-11-05MIR Gen - Fix invalidated LValue in box move hackJohn Hodge2-2/+2
2016-11-05MIR Gen Match - Refactor simple match to operate straight off the rulesetJohn Hodge1-369/+268