Skip to content

Commit

Permalink
Fix docs, addressing review comment
Browse files Browse the repository at this point in the history
  • Loading branch information
odersky committed Apr 28, 2020
1 parent f867da2 commit 7f8a4db
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala
Original file line number Diff line number Diff line change
Expand Up @@ -550,7 +550,7 @@ object ProtoTypes {
/** The normalized form of a type
* - unwraps polymorphic types, tracking their parameters in the current constraint
* - skips implicit parameters of methods and functions;
* if result type depends on implicit parameter, replace with fresh type dependent parameter.
* if result type depends on implicit parameter, replace with wildcard.
* - converts non-dependent method types to the corresponding function types
* unless the expected type is an ApplyingProto or IgnoredProto.
* - dereferences parameterless method types
Expand Down

0 comments on commit 7f8a4db

Please sign in to comment.