/-!
# Deprecate `:=` for `inductive` and `structure`
-/

set_option linter.deprecated true

/--
warning: `inductive ... :=` has been deprecated in favor of `inductive ... where`

Note: This linter can be disabled with `set_option linter.deprecated false`
-/
#guard_msgs in
inductive DogSound' :=
  | woof
  | grr

/--
warning: `structure ... :=` has been deprecated in favor of `structure ... where`.

Note: This linter can be disabled with `set_option linter.deprecated false`
-/
#guard_msgs in
structure S :=
  (n : Nat)

/--
warning: `class ... :=` has been deprecated in favor of `class ... where`.

Note: This linter can be disabled with `set_option linter.deprecated false`
-/
#guard_msgs in
class C :=
  (n : Nat)