Special case pcall(require, ...)?

[13k]

Can pcall(require, "mod") act like standalone require for the success path?

Right now (version 0.20.0) type narrowing it doesn't seem to work:

local ok, mod = pcall(require, "mod")

if ok then
  -- `mod` is `R1` as per `std/global.lua`
  mod.foo("bar") -- but `foo` is `nil`? (or `any`, or `unknown`, I'm not sure)
end

As a workaround, this works, but it's not optimal:

if pcall(require, "mod") then
  -- `mod` type's is correct
  local mod = require("mod")
  -- `foo` type is correct
  mod.foo("bar")
end

[CppCXY]

Not really — functions with special behavior are treated by name as keywords, not as function definitions.

[lewis6991]

I think this is now possible with #974