equal
deleted
inserted
replaced
90 |
90 |
91 /** Duplicate this environment, updating with given tree and info, |
91 /** Duplicate this environment, updating with given tree and info, |
92 * and copying all other fields. |
92 * and copying all other fields. |
93 */ |
93 */ |
94 public Env<A> dup(JCTree tree, A info) { |
94 public Env<A> dup(JCTree tree, A info) { |
95 return dupto(new Env<A>(tree, info)); |
95 return dupto(new Env<>(tree, info)); |
96 } |
96 } |
97 |
97 |
98 /** Duplicate this environment into a given Environment, |
98 /** Duplicate this environment into a given Environment, |
99 * using its tree and info, and copying all other fields. |
99 * using its tree and info, and copying all other fields. |
100 */ |
100 */ |