Stricter enforcement of Java AST immutability

[unp1]

Stricter enforcement of Java AST immutability

[codecov[bot]]

Codecov Report

Merging #3314 (87cd42b) into main (ca0c522) will decrease coverage by 0.01%. The diff coverage is 57.14%.

@@             Coverage Diff              @@
##               main    #3314      +/-   ##
============================================
- Coverage     37.81%   37.80%   -0.01%     
  Complexity    16855    16855              
============================================
  Files          2052     2052              
  Lines        125481   125484       +3     
  Branches      21230    21232       +2     
============================================
- Hits          47445    47439       -6     
- Misses        72199    72209      +10     
+ Partials       5837     5836       -1     

Files	Coverage Δ
...n/java/de/uka/ilkd/key/java/reference/TypeRef.java	100.00% <ø> (ø)
...kd/key/java/reference/SchematicFieldReference.java	53.48% <50.00%> (+0.15%)	:arrow_up:
...in/java/de/uka/ilkd/key/java/statement/Ccatch.java	47.54% <0.00%> (-0.80%)	:arrow_down:
...a/ilkd/key/java/statement/MethodBodyStatement.java	58.62% <50.00%> (-0.21%)	:arrow_down:
...de/uka/ilkd/key/java/reference/FieldReference.java	44.00% <66.66%> (-9.20%)	:arrow_down:

... and 3 files with indirect coverage changes

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more

[github-actions[bot]]

Thank you for your contribution.

The test artifacts are available on Artiweb. The newest artifact is here.