1
Fork 0

Rollup merge of #78475 - RalfJung:validity-comment, r=oli-obk

fix a comment in validity check

A few things changed since that comment was written; update it to the current reality.

r? @oli-obk
This commit is contained in:
Yuki Okushi 2020-10-29 12:08:55 +09:00 committed by GitHub
commit 5e3cc6e913
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -579,9 +579,8 @@ impl<'rt, 'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> ValidityVisitor<'rt, 'mir, '
// Nothing to check.
Ok(true)
}
// The above should be all the (inhabited) primitive types. The rest is compound, we
// The above should be all the primitive types. The rest is compound, we
// check them by visiting their fields/variants.
// (`Str` UTF-8 check happens in `visit_aggregate`, too.)
ty::Adt(..)
| ty::Tuple(..)
| ty::Array(..)