summaryrefslogtreecommitdiff
path: root/src/hir_typeck/outer.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-11-16HIR Typecheck Outer - Don't check type aliasesJohn Hodge1-0/+5
2019-11-07All - Fix some clang warningsJohn Hodge1-1/+1
2019-06-04HIR - Use maps-of-vectors for impl lists for faster lookup, optimise Trans_En...John Hodge1-7/+6
2019-05-19All - Switch to using interned (de-duplicated) RcString-s instead of std::str...John Hodge1-2/+3
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge1-0/+4
2018-12-30Typecheck Outer - Rough handling of `impl Trait` in argument positionJohn Hodge1-17/+51
2018-08-01HIR - Conversion and typecheck fixes for 1.29John Hodge1-7/+28
2017-09-23HIR Typecheck - Fix bug with get_full_path on functions in the root crateJohn Hodge1-0/+2
2017-01-26HIR Typecheck - Fix quirks from rust_osJohn Hodge1-0/+16
2017-01-14HIR - Build up a flattened list of parent traits early to save time laterJohn Hodge1-28/+29
2016-12-24No more tears!ubsan1-58/+58
2016-11-22HIR Typecheck - Expand assocated types in outer typecheckJohn Hodge1-47/+17
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge1-2/+4
2016-11-16HIR Typcheck - Hackily hndle default parametersJohn Hodge1-3/+38
2016-11-11HIR - Tweak ErasedType for implementationJohn Hodge1-7/+45
2016-11-09HIR+Parse - Fix some ErasedTypes bugs before hitting the TODOsJohn Hodge1-38/+11
2016-10-31All - Rough support for `union` (data structure present in all stages)John Hodge1-0/+3
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-0/+3
2016-10-22HIR - Allow (partial) TraitObject with no data trait, better logging of ItemPathJohn Hodge1-0/+1
2016-09-03HIR Typecheck Outer - Support exter cratesJohn Hodge1-4/+8
2016-08-24HIR Typecheck - Add impl specialisation support to static, fix spelling errorJohn Hodge1-2/+2
2016-08-11All - Clang warning fixesJohn Hodge1-1/+1
2016-08-06HIR Typecheck Outer - Recurse when UFCS replacedJohn Hodge1-0/+2
2016-08-01HIR - Path reporting in iterationJohn Hodge1-5/+5
2016-07-31HIR Typecheck - (minor) Debug output tweaksJohn Hodge1-0/+2
2016-07-21HIR Typecheck - BROKEN: Switch to ImplRef everywhereJohn Hodge1-1/+1
2016-07-19HIR - Very rough impl specialisation support in outer typeckJohn Hodge1-12/+23
2016-07-16HIR Typecheck - HACK: Correct trait type selection with evilJohn Hodge1-1/+241
2016-07-15HIR Typecheck - (BROKEN) Fixing trait selection for associated typesJohn Hodge1-0/+2
2016-07-15HIR Typecheck - Expand associated types in outer typeckJohn Hodge1-14/+62
2016-06-13HIR - Fix name resolution of `Type::method` to search inherent then traitsJohn Hodge1-1/+1
2016-06-11HIR Typecheck - Fixes for `trait Int: Add<Self>`John Hodge1-1/+1
2016-06-09HIR - Add closure typeJohn Hodge1-0/+3
2016-06-08HIR - Lower associated type bounds, use those in typeckJohn Hodge1-1/+1
2016-06-05Resolve - UFCS resolution expanded to handle `Self` and paramsJohn Hodge1-2/+2
2016-06-04Compilation fixes (clang and different gcc version)John Hodge1-3/+3
2016-05-29HIR Typecheck - FiddlingJohn Hodge1-4/+138
2016-05-28HIR TypeCheck - Initial work on a module-level pass (no inferrence)John Hodge1-0/+186
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-26 20:27:55 +0000