equal
deleted
inserted
replaced
1998 uv2.addBound(ib, t, types, true); |
1998 uv2.addBound(ib, t, types, true); |
1999 } |
1999 } |
2000 } |
2000 } |
2001 uv2.inst = inst; |
2001 uv2.inst = inst; |
2002 uv2.listener = listener; |
2002 uv2.listener = listener; |
2003 uv2.incorporationActions = new ArrayDeque<>(incorporationActions); |
2003 uv2.incorporationActions = new ArrayDeque<>(); |
|
2004 for (IncorporationAction action : incorporationActions) { |
|
2005 uv2.incorporationActions.add(action.dup(uv2)); |
|
2006 } |
2004 } |
2007 } |
2005 |
2008 |
2006 @Override |
2009 @Override |
2007 public UndetVar cloneWithMetadata(TypeMetadata md) { |
2010 public UndetVar cloneWithMetadata(TypeMetadata md) { |
2008 throw new AssertionError("Cannot add metadata to an UndetVar type"); |
2011 throw new AssertionError("Cannot add metadata to an UndetVar type"); |