What would happen if you did a server upgrade say from 2017 to 2018 and some files were still checked out?