pending indexing spec for type inference
param local variables
pending refs to method params