Joshua Liebow-Feeser

@jswrenn Do we think that this should be closed given our PME strategy?

In theory, the impl of `KnownLayout` contains enough information to determine whether it's guaranteed that there will never be any padding between any of the fields or after `body`. However,...

See also: https://github.com/google/zerocopy/issues/1566

I updated the issue text to mention this, but I'll put it here too for more visibility: fuzzing could have prevented the bug that is fixed in https://github.com/google/zerocopy/pull/672.

*Credit to @glpesk for this idea* We could seed the fuzzer using types scraped from existing codebases, such as those which are public on GitHub.

Friendly ping 🙂

Thanks for the review!

> There's a potential issue here -- not all types mentioned in the source code actually make it to codegen, so sometimes types that are "too big" do not lead...

Is there some notion of "observability" we could use here? As in, if a type's existence is "observable" in some way? Intuitively, I'd imagine this just means that if the...