diff options
Diffstat (limited to 'src/eclipseAgent')
| -rw-r--r-- | src/eclipseAgent/lombok/eclipse/agent/PatchVal.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/eclipseAgent/lombok/eclipse/agent/PatchVal.java b/src/eclipseAgent/lombok/eclipse/agent/PatchVal.java index 59fbe9d0..e734dceb 100644 --- a/src/eclipseAgent/lombok/eclipse/agent/PatchVal.java +++ b/src/eclipseAgent/lombok/eclipse/agent/PatchVal.java @@ -166,7 +166,11 @@ public class PatchVal { resolved = null; } if (resolved != null) { - replacement = makeType(resolved, local.type, false); + try { + replacement = makeType(resolved, local.type, false); + } catch (Exception e) { + // Some type thing failed. It might be an IntersectionType + } } } |