Merge pull request #8112 from xuwei-k/RefThenConfig-extension-toString

remove RefThenConfig extension toString method
This commit is contained in:
eugene yokota 2025-05-09 11:02:17 -07:00 committed by GitHub
commit e9e263469d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions

View File

@ -44,7 +44,6 @@ trait SlashSyntax:
extension (in: RefThenConfig) extension (in: RefThenConfig)
def asScope: Scope = in.project.asScope.copy(config = in.config) def asScope: Scope = in.project.asScope.copy(config = in.config)
def toString(): String = asScope.toString()
def /[K](key: Scoped.ScopingSetting[K]): K = asScope / key def /[K](key: Scoped.ScopingSetting[K]): K = asScope / key
def /(task: AttributeKey[?]): Scope = asScope.copy(task = Select(task)) def /(task: AttributeKey[?]): Scope = asScope.copy(task = Select(task))