If the standard library is willing to implement it, I think this error can be detected in debug builds. The general plan is to add a managed field only in runtime_safety mode and add equal assertions between input parameters and managed fields in all APIs.