Merge pull request #13248 from atorralba/atorralba/java/nio-files-copy-models-fix

Java: Tweak java.nio.file.Files.copy models
This commit is contained in:
Tony Torralba
2023-05-24 10:55:15 +02:00
committed by GitHub
4 changed files with 18 additions and 22 deletions

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
Modified the models related to `java.nio.file.Files.copy` so that generic `[Input|Output]Stream` arguments are not considered file-related sinks.