function and lexical bindings do not conflict at the top level of functions

[bakkot]

'use strict';
function f(){
  let a;
  function a(){}
}

parses without error. It should not.