{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
/// is required, we can add a new attribute for that or revert this to be dependant on the
/// here. If there ever ends up some use-cases where a bigger number of fixpoint iterations
/// recursion limit again. However, this feels very unlikely.