Commit ca126bc
committed
[CSGen] Closure analyzer shouldn't walk into local some decls/patterns
While trying to gather all references to external variables,
analyzer shouldn't walk into patterns and any local declarations
except to pattern bindings, because decls do not participate
in inference and patterns cannot contain references analyzer
is looking for.1 parent 6d657c9 commit ca126bc
1 file changed
+8
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2941 | 2941 | | |
2942 | 2942 | | |
2943 | 2943 | | |
| 2944 | + | |
| 2945 | + | |
| 2946 | + | |
| 2947 | + | |
| 2948 | + | |
| 2949 | + | |
| 2950 | + | |
| 2951 | + | |
2944 | 2952 | | |
2945 | 2953 | | |
2946 | 2954 | | |
| |||
0 commit comments