=== COMPILATION ERRORS ===
Compilation Error #1:
  error[E0432]: unresolved import `core::marker::PointeeSized`

Compilation Error #2:
  error[E0432]: unresolved import `core::marker::PointeeSized`

Compilation Error #3:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #4:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #5:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #6:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #7:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #8:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #9:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #10:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #11:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #12:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #13:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #14:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #15:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #16:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #17:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #18:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #19:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #20:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #21:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #22:
  error[E0405]: cannot find trait `PointeeSized` in module `core::marker`

Compilation Error #23:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #24:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #25:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #26:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #27:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #28:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #29:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #30:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #31:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #32:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #33:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #34:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #35:
  error[E0405]: cannot find trait `MetaSized` in module `core::marker`

Compilation Error #36:
  error: could not compile `vstd` (lib) due to 35 previous errors