diff --git a/analysis/src/CompletionBackEnd.ml b/analysis/src/CompletionBackEnd.ml index 51dab59be..82b846498 100644 --- a/analysis/src/CompletionBackEnd.ml +++ b/analysis/src/CompletionBackEnd.ml @@ -1031,6 +1031,7 @@ let instantiateType ~typeParams ~typeArgs (t : Types.type_expr) = let rec extractRecordType ~env ~package (t : Types.type_expr) = match t.desc with | Tlink t1 | Tsubst t1 | Tpoly (t1, []) -> extractRecordType ~env ~package t1 + | Tconstr (Pident {name = "option"}, [{desc = Tconstr (path, typeArgs, _)}], _) | Tconstr (path, typeArgs, _) -> ( match References.digConstructor ~env ~package path with | Some (env, ({item = {kind = Record fields}} as typ)) ->