`[[` loads lazy modules #1298

Job	Run time
OS=macOS-latest R=release py=3.10	3m 15s
OS=windows-latest R=release py=3.10	11m 28s
OS=ubuntu-latest R=release py=3.10	4m 33s
OS=macOS-latest R=oldrel py=3.10	3m 19s
OS=ubuntu-latest R=oldrel-1 py=3.9	4m 19s
OS=ubuntu-latest R=oldrel-2 py=3.9	4m 48s
OS=ubuntu-20.04 R=oldrel-3 py=3.8	4m 36s
OS=ubuntu-20.04 R=oldrel-4 py=3.8	4m 52s
OS=ubuntu-latest R=release py=3.7	5m 29s
OS=ubuntu-latest R=release py=3.8	4m 24s
OS=ubuntu-latest R=release py=3.9	4m 16s
OS=ubuntu-latest R=release py=3.11	4m 22s
OS=ubuntu-latest R=release py=3.12	4m 16s
OS=ubuntu-latest R=devel py=3.12	4m 36s
	1h 8m 33s

Provide feedback