то есть если бы случайно параметр передавался BY REF (каким-то чудом), это могло бы сработать

Надо просто проверять, что реф выставлен, до первого доступа.

ну типа лейзи конструктор лол

Ну такое...

но я такого в дотнетах не видел!!1

вот сейчас не понял. Как это поможет?

там вообще весь этот код надо выкинуть и кидать ошибку компиляции не?

Поможет тем, что при генерации кода он взорвется

А не в рантайме

Понял. Ишую пилить?

Да пили, лишним не будет, я думаю.

Надо просто будет проверять то, что перед генерацией fSharpRef.contntents = this, мы не пытаемся достучаться до проперти там или метода

Интересно что as this разваливает к хуям все оптимизации джита

Из-за проверок

Вообще конечно, занятно

Есть две функции

let parameterizedQuery<'Result> (query:string) (param:obj) (connection:SqlConnection) : 'Result seq =
            connection.Query<'Result>(query, param)
        
let mapParameterizedQuery<'Result> (query:string) (param : Map<string,_>) (connection:SqlConnection) : 'Result seq =
            let expando = ExpandoObject()
            let expandoDictionary = expando :> IDictionary<string,obj>
            for paramValue in param do
                expandoDictionary.Add(paramValue.Key, paramValue.Value :> obj)
        
            connection |> parameterizedQuery query expando

При попытке передать в mapParameterizedQuery param  Map<string,string> тайпчекер ругается что требуется Map<string,obj>
В чем прикол? Map<string,_> же подразумевает, что _ может быть любым типом, нет?

А зачем там бокс если и так нот стракт

Будет достаточно fSharpRef.contents еще передать в checkThis