nitc :: RapidTypeAnalysis :: check_depth
private fun check_depth(mtype: MClassType): Bool
do
var d = mtype.length
if d > 255 then
self.modelbuilder.toolcontext.fatal_error(null, "Fatal Error: limitation in the rapidtype analysis engine: a type depth of {d} is too important, the problematic type is `{mtype}`.")
return false
end
return true
end
src/rapid_type_analysis.nit:346,2--354,4