generated at
借用における2つの制約