什么是C＃中的可验证类型？

我正在阅读通过C＃编写的 CLR。我遇到了以下知识数据：

  

应注意，定义引用类型和值类型的类型是非法的   交叠。可以定义多个引用类型在同一时间重叠的类型   起始偏移量；但是，这是无法验证的。定义其中多个值的类型是合法的   类型重叠；但是，必须通过公共字段访问所有重叠字节   进行验证。

该作品与System.Runtime.InteropServices.StructLayoutAttribute属性和System.Runtime.InteropServices.FieldOffsetattribute属性有关。这与类型字段的布局有关。

我在互联网上找不到可验证类型的定义，有吗？

更新

在下面的评论部分中，指出了以下问题：this。

因此，根据答案，我认为如果对字段和类型的方法进行的任何操作都不会破坏CLR功能，则该类型是可验证的。这是一个粗略的定义，但这是正确的吗？