Implicit non-nullability for fields

2020-10-01 13:33:43 -04:00
parent b15cdfef46
commit 199be4d13d
37 changed files with 71 additions and 87 deletions
--- a/core/src/mindustry/editor/EditorTile.java
+++ b/core/src/mindustry/editor/EditorTile.java
@@ -19,7 +19,7 @@ public class EditorTile extends Tile{
    }

    @Override
-    public void setFloor(@NonNull Floor type){
+    public void setFloor(Floor type){
        if(skip()){
            super.setFloor(type);
            return;