I don’t think that’s how it works. Once an object is freed, any access will crash. You’re allowed to still have a reference to it.

Ok, you are right. My point is, yes it is possible to panic on use-after-free with Fil-C. With Fil-C, a life reference to a freed object can be detected.