diff --git a/platform/lang-api/src/com/intellij/semantic/SemRegistrar.java b/platform/lang-api/src/com/intellij/semantic/SemRegistrar.java
index 46349ef938e5..8137f0e8be3f 100644
--- a/platform/lang-api/src/com/intellij/semantic/SemRegistrar.java
+++ b/platform/lang-api/src/com/intellij/semantic/SemRegistrar.java
@@ -27,8 +27,8 @@ import java.util.Collection;
  */
 public interface SemRegistrar {
 
-  <T extends SemElement, V extends PsiElement> void registerSemElementProvider(SemKey<T> key, ElementPattern<? extends V> place, NullableFunction<V, T> provider);
+  <T extends SemElement, V extends PsiElement> void registerSemElementProvider(SemKey<T> key, ElementPattern<? extends V> place, NullableFunction<? super V, ? extends T> provider);
 
-  <T extends SemElement, V extends PsiElement> void registerRepeatableSemElementProvider(SemKey<T> key, ElementPattern<? extends V> place, NullableFunction<V, Collection<T>> provider);
+  <T extends SemElement, V extends PsiElement> void registerRepeatableSemElementProvider(SemKey<T> key, ElementPattern<? extends V> place, NullableFunction<? super V, ? extends Collection<T>> provider);
 
 }
diff --git a/platform/lang-impl/src/com/intellij/semantic/SemServiceImpl.java b/platform/lang-impl/src/com/intellij/semantic/SemServiceImpl.java
index 9b64403b89fd..1c49649a82dd 100644
--- a/platform/lang-impl/src/com/intellij/semantic/SemServiceImpl.java
+++ b/platform/lang-impl/src/com/intellij/semantic/SemServiceImpl.java
@@ -87,7 +87,7 @@ public class SemServiceImpl extends SemService{
       @Override
       public <T extends SemElement, V extends PsiElement> void registerSemElementProvider(SemKey<T> key,
                                                                                           final ElementPattern<? extends V> place,
-                                                                                          final NullableFunction<V, T> provider) {
+                                                                                          final NullableFunction<? super V, ? extends T> provider) {
         map.putValue(key, element -> {
           if (place.accepts(element)) {
             return Collections.singleton(provider.fun((V)element));
@@ -99,7 +99,7 @@ public class SemServiceImpl extends SemService{
       @Override
       public <T extends SemElement, V extends PsiElement> void registerRepeatableSemElementProvider(SemKey<T> key,
                                                                                                     ElementPattern<? extends V> place,
-                                                                                                    NullableFunction<V, Collection<T>> provider) {
+                                                                                                    NullableFunction<? super V, ? extends Collection<T>> provider) {
         map.putValue(key, element -> {
           if (place.accepts(element)) {
             return provider.fun((V)element);