#func.location.tagged attribute

← Attribute reference

Tagged provenance with an optional captured child.

tag is the compact positional parameter.

Parameters

Name	Kind	Cardinality	Description
tag	i64	required	Stable nonzero location tag.
data	bytes	required	Uninterpreted tag payload.
child	i64	optional	Index of a preceding child location, when present.
synthetic	bool	optional	The source marks this location as compiler-generated.