This paper proposes extending the syntax of `requires`-expressions to allow `using`-type aliases within the requirement body.