This patch adds `@checked` everywhere is needed to remove the
`strong_mode_invalid_method_override` strong mode error.