Function java_defaulters_called_by 

pub fn java_defaulters_called_by(
    ast: &Ast,
    members: &[Member],
) -> Result<Vec<Member>, EncodeError>

The defaulters members call, and exactly those.

The set is read off the emitted calls rather than derived a second time from the model, for the reason crate::default_c::c_defaulters_called_by gives at length: a derivation beside the decoder’s is a second reading of §7.2.2.7, and the two readings drift. Here the seed set is larger than C’s — every generated reader opens with its own type’s defaulter — and the closure is taken the same way, by emitting and re-reading until the batch calls nothing it does not also define.

Errors

EncodeError for a construct with no Java default.