Skip to main content

SPECIALISATION_LIMIT

Constant SPECIALISATION_LIMIT 

Source
pub const SPECIALISATION_LIMIT: usize = 32;
Expand description

How many times one declaration may appear in one chain of specialisations before the chain is reported as having no end.

Generous on purpose: a type is nested this deep in no program anyone writes, and a legal chain holds a declaration once for each level of the type it walks, so show at List (List (List Int)) holds it three times. The count is of one declaration, which is why a program with more than this many constrained functions is not affected.