diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-01-19 09:59:36 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-01-19 09:59:36 +0800 |
| commit | dc181591986dff3ceff82e865f5b7cc818716d2f (patch) | |
| tree | db07dc8a9e8743d052050a682e8414fc93d743af /src/hir_conv/resolve_ufcs.cpp | |
| parent | 22afa5803a6b5466168f281f484826177e89128e (diff) | |
| download | mrust-dc181591986dff3ceff82e865f5b7cc818716d2f.tar.gz | |
Typecheck Expressions - Tweak expand_associated_types to get associated type bounds on associated types
Diffstat (limited to 'src/hir_conv/resolve_ufcs.cpp')
| -rw-r--r-- | src/hir_conv/resolve_ufcs.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/hir_conv/resolve_ufcs.cpp b/src/hir_conv/resolve_ufcs.cpp index 9bdb2feb..19ec84ba 100644 --- a/src/hir_conv/resolve_ufcs.cpp +++ b/src/hir_conv/resolve_ufcs.cpp @@ -6,7 +6,9 @@ * - Resolve unkown UFCS traits into inherent or trait * - HACK: Will likely be replaced with a proper typeck pass (no it won't) * - * - TODO: What are the rules for UFCS lookup? + * TODO: Remove this pass, except maybe for running EAT on outer types + * - Expression code can handle picking UFCS functions better than this code can + * - Outer EAT is nice, but StaticTraitResolve will need to handle non-EAT-ed types when doing lookups */ #include "main_bindings.hpp" #include <hir/hir.hpp> |