Function load_check 

fn load_check(parsed_impl: &ParsedImpl, system: &str) -> String

A top-level check, emitted next to the class’s methods, that the type has the field helpers: an impl that opts in for a type without an RSidecar selector or without a pub #[r_data] field fails at install time instead of at the first $ (for env, at every method call).