Function chalk_parse::parser::__action172
source · fn __action172<'input>(
input: &'input str,
(_, _, _): (usize, &'input str, usize),
(_, _, _): (usize, &'input str, usize),
(_, s, _): (usize, ProjectionTy, usize),
(_, _, _): (usize, &'input str, usize),
(_, t, _): (usize, Ty, usize),
(_, _, _): (usize, &'input str, usize)
) -> DomainGoal