After this early-return guard, is the binding `s` in scope on the last line, and why?

static String classify(Object o) { if (!(o instanceof String s)) { return "not a string"; } return "len=" + s.length(); }