summaryrefslogtreecommitdiff
path: root/src/hir_typeck/helpers.cpp
AgeCommit message (Expand)AuthorFilesLines
2019-11-23HIR - Restructure resolve to replace `Self` type later in processingJohn Hodge1-16/+16
2019-11-10HIR Typecheck - Remove pre-setting of node result typeJohn Hodge1-7/+9
2019-10-26Merge remote-tracking branch 'remotes/origin/master' into nightly-1.29John Hodge1-2/+2
2019-09-30HIR Typecheck - Working cargo 1.19John Hodge1-14/+72
2019-07-21HIR Typecheck - Short-circuit when method name is found on a trait objectJohn Hodge1-0/+6
2019-06-22HIR - Planning for removal of evil pointers (but not today)John Hodge1-0/+8
2019-06-04HIR Markings - Flag for any Copy implJohn Hodge1-18/+1
2019-05-19All - Switch to using interned (de-duplicated) RcString-s instead of std::str...John Hodge1-25/+24
2019-04-25HIR - Add more complete privacy handling (allowing for autoderef to skip priv...John Hodge1-5/+5
2019-04-24Typecheck Expressions - Add an unsize target instead of hard equality in matc...John Hodge1-0/+2
2019-04-22Typecheck Expressions - Minor tweaks from trying to use all trait impls in im...John Hodge1-12/+19
2019-04-21Typecheck Expessions - Improved handling of overlapping bounds, diverging ivarsJohn Hodge1-2/+7
2019-04-21Typecheck Expressions - Least permissive source, diverge possibility, ...John Hodge1-2/+2
2019-03-22HIR Typecheck - Lots of messing about, kinda works up to midway through rustcJohn Hodge1-7/+9
2019-02-24Typecheck Expr - Refactor of ivar possibilities to simplify logicJohn Hodge1-3/+7
2019-02-09Typecheck - Various fixes for librustcJohn Hodge1-2/+1
2019-02-03Typecheck Expresions - closure->fn and closure Clone roughJohn Hodge1-0/+4
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge1-0/+13
2019-01-19Typecheck Expressions - Handle generics in auto trait magicJohn Hodge1-1/+3
2019-01-19Typecheck Expressions - Tweak expand_associated_types to get associated type ...John Hodge1-8/+12
2019-01-12HIR Typecheck - Debugging tweaksJohn Hodge1-2/+6
2019-01-05Typecheck Expressions - Run EAT when checking auto traitsJohn Hodge1-4/+6
2018-12-29Typecheck/Trans - Handle magic clone impls for 1.29John Hodge1-87/+109
2018-12-27Typecheck Expressions - Minimal support for match ergonomics (typecheck only)John Hodge1-0/+4
2018-12-16Typecheck Expressions - Extended possibility checking, fallback default (HACK)John Hodge1-3/+19
2018-12-09HIR Typecheck - Fix incorrect equality/success markingsJohn Hodge1-7/+15
2018-12-09HIR Typecheck - Enumeration of potential type values and elimination using kn...John Hodge1-4/+4
2018-11-04Typecheck Expressions - (minor) Slight cleanupJohn Hodge1-2/+2
2018-11-03HIR Typecheck - Fixing holes from 1.29 compiler_builtinsJohn Hodge1-114/+146
2018-10-07Typecheck - Fix a couple of small holesJohn Hodge1-4/+6
2018-08-03HIR Typecheck - Handle UfcsUnknown in fuzzy matchingJohn Hodge1-0/+4
2018-08-03HIR Typecheck - Support semi-arbitary method receiversJohn Hodge1-48/+67
2018-08-02HIR Typecheck - Magic Clone implsJohn Hodge1-54/+164
2018-08-01HIR - Conversion and typecheck fixes for 1.29John Hodge1-2/+18
2018-05-25HIR - No more name in lifetime paramsJohn Hodge1-5/+10
2017-11-19Typecheck Expressions - Incremental change to auto trait handlingJohn Hodge1-0/+7
2017-11-18Typecheck Expressions - Treat unbounded ivars as fuzzy in ftic_check_paramsJohn Hodge1-1/+7
2017-11-01HIR - Refactor enums to only embed a single field (and give variants types)John Hodge1-30/+9
2017-10-28HIR Typecheck - Cleanup as part of locating libgit2 quirksJohn Hodge1-1/+5
2017-10-01Typecheck Expressions - Don't pick a bound impl when type is Unbound UFCSJohn Hodge1-0/+2
2017-10-01HIR Typecheck Expressions - Implement a TODOJohn Hodge1-2/+5
2017-10-01HIR Typecheck - Fallback in method lookupJohn Hodge1-72/+55
2017-09-22Windows compile fixesJohn Hodge1-2/+0
2017-09-20HIR Typecheck - Revert change to method lookup order, plan for fallbacksJohn Hodge1-45/+48
2017-09-16HIR Typecheck - Look up trait methods before inherent methodsJohn Hodge1-44/+44
2017-09-12HIR Resolve - Replace default types, with correct Self replacementJohn Hodge1-1/+2
2017-09-08Typecheck - Various tweaks from librustdocJohn Hodge1-27/+68
2017-09-07HIR Typecheck - Pick the most specific type when fuzzy matchingJohn Hodge1-1/+9
2017-09-02HIR Typecheck - Check Sized bounds (in some places)John Hodge1-3/+3
2017-09-02HIR Typecheck - Fix some edge cases with placeholder paramsJohn Hodge1-1/+21
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-25 23:15:01 +0000