fn _assert_tcx_fields()