Yes, but I'm going to guess that that runtime exception is still possible. Record accessors are disambiguated through type inference so if their type is ambiguous it will still fail.