Function children_to_fixpoint 

fn children_to_fixpoint(
    cx: &mut FixpointCtxt<'_, '_, Tag>,
    children: &[NodePtr],
) -> QueryResult<Option<Constraint>>