An excluded policy site has no compiled route. This explicit refusal is
harmless only when its source operands and renderer are pruned by selection.
845def telemetryRecordRouteLookup =
846 (lambda unrestricted wanted : Nat .
847 (lambda unrestricted routes : (family TelemetryRecordRoutes) .
848 (eliminate
849 TelemetryRecordRoutes
850 (lambda unrestricted current : (family TelemetryRecordRoutes) .
851 (family TelemetryRecordPlan))
852 routes
853 (branch
854 TelemetryRecordRoutesEnd
855 .
856 (constructor
857 TelemetryRecordPlan
858 TelemetryRecordRefused
859 b"capture-site-excluded-or-undeclared"))
860 (branch
861 TelemetryRecordRoutesNext
862 tag
863 recipe
864 following
865 induction
866 .
867 (aosChoose (family TelemetryRecordPlan) (naturalEqual wanted tag) recipe induction)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.