gluon_completion
pub fn find<'ast, T>( env: &T, source_span: Span<BytePos>, expr: &SpannedExpr<'ast, Symbol>, pos: BytePos) -> Result<Either<ArcKind, ArcType>, ()> where T: TypeEnv<Type = ArcType>,