A.T. Robertson Commentary Hebrews 4:8

"For if Joshua had given them rest, he would not have spoken afterward of another day." — Hebrews 4:8 (ASV)

Joshua (Ιησους). The Greek form is Jesus. Condition of the second class (determined as unfulfilled) with ε and aorist indicative in the condition and αν with the imperfect in the conclusion.

He would not have spoken (ουκ ελαλε). Wrong translation, "he would not speak" (be speaking), in the passage in David. Imperfect tense, not aorist.