Make sure that the context manager for sqlite3.Connection works

This was originally reported in https://github.com/davidhalter/jedi/issues/1084.

stdlib/2/__builtin__.pyi

@@ -869,7 +869,6 @@ class slice(object):
 
 class tuple(Sequence[_T_co], Generic[_T_co]):
     def __new__(cls: Type[_T], iterable: Iterable[_T_co] = ...) -> _T: ...
-    def __init__(self, iterable: Iterable[_T_co] = ...): ...
     def __len__(self) -> int: ...
     def __contains__(self, x: object) -> bool: ...
     @overload
@@ -893,6 +892,15 @@ class tuple(Sequence[_T_co], Generic[_T_co]):
     else:
         def index(self, x: Any) -> int: ...
 
+class function:
+    # TODO not defined in builtins!
+    __name__: str
+    __module__: str
+    __code__: CodeType
+    if sys.version_info >= (3,):
+        __qualname__: str
+        __annotations__: Dict[str, Any]
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...

stdlib/2and3/builtins.pyi

@@ -869,7 +869,6 @@ class slice(object):
 
 class tuple(Sequence[_T_co], Generic[_T_co]):
     def __new__(cls: Type[_T], iterable: Iterable[_T_co] = ...) -> _T: ...
-    def __init__(self, iterable: Iterable[_T_co] = ...): ...
     def __len__(self) -> int: ...
     def __contains__(self, x: object) -> bool: ...
     @overload
@@ -893,6 +892,15 @@ class tuple(Sequence[_T_co], Generic[_T_co]):
     else:
         def index(self, x: Any) -> int: ...
 
+class function:
+    # TODO not defined in builtins!
+    __name__: str
+    __module__: str
+    __code__: CodeType
+    if sys.version_info >= (3,):
+        __qualname__: str
+        __annotations__: Dict[str, Any]
+
 class list(MutableSequence[_T], Generic[_T]):
     @overload
     def __init__(self) -> None: ...