id	summary	owner	type	resolution	section	priority
133	ExplicitForall	igloo, NiklasBroberg	extension	--	Declarations/Bindings	--