scala3-compiler-bootstrapped/dotty.tools.dotc.util/FreshNameCreator/Default

Default

class Default extends FreshNameCreator
class Object
trait Matchable
class Any

Value members

Concrete methods

def newName(prefix: TermName, unique: UniqueNameKind): TermName

Create a fresh name with the given prefix. It is guaranteed that the returned name has never been returned by a previous call to this function (provided the prefix does not end in a digit).

Create a fresh name with the given prefix. It is guaranteed that the returned name has never been returned by a previous call to this function (provided the prefix does not end in a digit).