scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.typer/Linter

Linter

dotty.tools.dotc.typer.Linter
object Linter

A module for linter checks done at typer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Linter.type

Members list

Value members

Concrete methods

def warnOnImplausiblePattern(pat: Tree, selType: Type)(using Context): Unit

If -Wimplausible-patterns is set, warn about pattern values that can match the scrutinee type only if there would be some user-defined equality method that equates values of the two types.

If -Wimplausible-patterns is set, warn about pattern values that can match the scrutinee type only if there would be some user-defined equality method that equates values of the two types.

Attributes

def warnOnInterestingResultInStatement(t: Tree)(using Context): Boolean

If -Wnonunit-statement is set, warn about statements in blocks that are non-unit expressions.

If -Wnonunit-statement is set, warn about statements in blocks that are non-unit expressions.

Attributes

Returns

true if a warning was issued, false otherwise

Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL