Defining scope

The defining scope of an impl Trait is the code that is used to infer its hidden type. See the explanation of type alias impl trait for more details.