Remove more references to dynamic scope

Author: willtebbutt

README.md

@@ -3,7 +3,7 @@
 [![Libtask Testing](https://github.com/TuringLang/Libtask.jl/workflows/Libtask%20Testing/badge.svg)](https://github.com/TuringLang/Libtask.jl/actions?branch=main)
 
 
-Resumable and copyable functions in Julia, with optional dynamic scope.
+Resumable and copyable functions in Julia, with optional function-specific globals.
 See the docs for example usage.
 
 Used in the [Turing](https://github.com/TuringLang/Turing.jl) probabilistic programming language to implement various particle-based inference methods, for example those in [AdvancedPS.jl](https://github.com/TuringLang/AdvancedPS.jl/).

src/copyable_task.jl

@@ -1,16 +1,17 @@
 """
     get_taped_globals(T::Type)
 
-Returns the dynamic scope associated to `Libtask`. If called from inside a `TapedTask`, this
-will return whatever is contained in its `taped_globals` field.
+When called from inside a call to a `TapedTask`, this will return whatever is contained in
+its `taped_globals` field.
 
 The type `T` is required for optimal performance. If you know that the result of this
 operation must return a specific type, specific `T`. If you do not know what type it will
 return, pass `Any` -- this will typically yield type instabilities, but will run correctly.
 
 See also [`set_taped_globals!`](@ref).
 """
-get_taped_globals(::Type{T}) where {T} = typeassert(task_local_storage(:task_variable), T)
+@noinline get_taped_globals(::Type{T}) where {T} =
+    typeassert(task_local_storage(:task_variable), T)
 
 __v::Int = 5