pub const check_generator_obligations: &str = _;