| Index: pkg/front_end/messages.yaml
|
| diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml
|
| index 722390e88a6bcd8a24101ddf2df57609094e717f..6a007e010abeefd6915e64c311cfca7b0f89b7f9 100644
|
| --- a/pkg/front_end/messages.yaml
|
| +++ b/pkg/front_end/messages.yaml
|
| @@ -831,3 +831,12 @@ SuperclassHasNoSetter:
|
|
|
| SuperclassHasNoMethod:
|
| template: "Superclass has no method named '#name'."
|
| +
|
| +SuperclassHasNoDefaultConstructor:
|
| + template: "The superclass, '#name', has no unnamed constructor that takes no arguments."
|
| +
|
| +ConstConstructorNonFinalField:
|
| + template: "Constructor is marked 'const' so all fields must be final."
|
| +
|
| +ConstConstructorNonFinalFieldCause:
|
| + template: "Field isn't final, but constructor is 'const'."
|
|
|